対話モードで方向キーを押すとアスキーコードが入力されてしまう問題を修正する方法
rlwrapを使う
URL :
https://formulae.brew.sh/formula/rlwrap
エイリアスで設定しておくと便利 例 :
alias idris2="rlwrap idris2"