logogalaxy-sixth-sensey
三
/posts/2018-02-09-where-is-idris-repl-configを開いてください。