idris-hackers/idris-mode — pull request #104 by david-christiansen (2014-03-30 04:28:30+00:00)
Title: Show documentation and types in Emacs

This adds tooltips with type signatures and docstrings to Idris's output. Relies on https://github.com/idris-lang/Idris-dev/pull/1014 , but is backwards compatible because older Idris versions just don't emit that information.