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