milkypostman/melpa — pull request #1203 by webframp (2013-11-28 23:40:19+00:00)
Title: add recipe for idris-mode

Recipe for packaging emacs idris-mode, for working with idris-lang: http://www.idris-lang.org/