dimitri/el-get — pull request #1217 by paulkoerbitz (2013-05-10 22:21:27+00:00)
Title: Add idris-mode recipe

Idris is a dependently typed purely functional programming language
influenced by Haskell. See http://idris-lang.org