idris-hackers/idris-mode — pull request #88 by david-christiansen (2014-02-19 14:07:35+00:00)
Title: Popup menus for semantically highlighted Idris text

Now, semantically highlighted Idris text has a context menu that demonstrates when type and documentation information is available.

This includes and obsoletes #87. Sending separately just in case it's too much.