idris-hackers/idris-mode — pull request #53 by david-christiansen (2014-01-15 11:22:20+00:00)
Title: Add interactive Idris commands to menu

This improves discoverability and helps out users who are new to
Emacs. It was requested by someone in person the other day.