Consider using Idris's IDE mode

[david-christiansen]

Idris has a machine-readable REPL designed to make editor integration easy. Vim doesn't use it due to limitations in running subprocesses, but Atom and Emacs do. It provides things like richer semantic information for compiler output (tooltips with docstrings on names), extra commands, Agda-style semantic highlighting of source code, etc. I think this enables a nicer editor mode than --client.

Docs are here. If you're interested, I'm happy to answer questions, make tweaks that make your life easier, or improve the docs.