idris-hackers/idris-mode — pull request #108 by david-christiansen (2014-04-04 21:18:56+00:00)
Title: Major mode for ipkg files

Features include:
* Finding the package for an Idris file automatically by recursive upward search
* Building, cleaning, and installing packages from inside Emacs
* Syntax highlighting for packages