IdrisのREPLの設定ファイルは~/.idris/repl/init The Idris REPL — Idris 1.2.0 documentation "The file repl/init" と書いてあったものの、一瞬わからなかったのでメモ 🐕