2021/11/20追記
自分では試してないが、以下の記事を参考にすると良いかもしれない。
【Termux】Google Play のTermuxはもうメンテされませーん！って言われているんだけれど… - 駅前散策ブログ＠かわさき HOT
【随時更新】個人的 Termuxセットアップメモ
Idrisのインストール | κeenのHappy Hacκing Blog
2020/05/09追記
うまくいかなくなっているようです。
修正記事を書くかどうかも未定です。
AndroidでIdris、Egison環境を構築できたので書いてみる。
アプリTermuxを使う。root化しなくても良い所が嬉しい。
使用スマホはZenFone 5、Android 8.0です。
1.端末を充電ケーブルに繋ぎ、スリープをOFFにする
2.Termux、Hacker's KeyboardをPlayストアからインストールする
3.Termuxを起動する
4.
$ pkg upgrade $ pkg install wget proot
5.termux-ubuntuのインストール
$ mkdir -p ~/jails/ubuntu $ cd ~/jails/ubuntu $ wget https://raw.githubusercontent.com/Neo-Oli/termux-ubuntu/master/ubuntu.sh $ bash ubuntu.sh
6.Ubuntuを起動
$ cd $ cd ~/jails/ubuntu $ ./start-ubuntu.sh
7.cabalのインストール
# apt-get update # apt-get install cabal-install # cabal update
8.Idrisのインストール
# apt-get install git make # git clone git://github.com/idris-lang/Idris-dev.git idris # cd idris # echo 'CABALFLAGS += -f curses' > custom.mk # make （ここで一息つく）
9.Egisonのインストール
# cabal install regex-tdfa-1.2.3.1 --force-reinstalls
# cabal install egison --force-reinstalls
（ここで一息つく）
10.エディタnanoのインストール
# apt-get install nano
11.Idrisの実行
# cd # cd .cabal/bin # ./idris
12.Idrisの終了
> :q
13.Egisonの実行
# cd .cabal/bin # ./egison
14.Egisonの終了
> [ctrl+d] （Hacker's Keyboard使っているよね？！）
15.Ubuntuの終了
# exit
16.Termuxの終了
$ exit （Enter）
今の場所に何があるか分からなくなったらpwdかls -LAFしましょう。
それでは素敵なプログラミングライフを！
（ついでにHaskellも使えるよ！）
.
.
