make idris REPL readable