idris-lang/Idris-dev — pull request #1014 by david-christiansen (2014-03-30 04:25:25+00:00)
Title: Show docs and types in IDESlave

IDESlave now decorates names with their type signatures and the first paragraph of their documentation strings. This is used in Emacs to show docs and types in tooltips on identifiers.