scrooloose/nerdcommenter — pull request #119 by raichoo (2013-06-07 09:25:54+00:00)
Title: Added Idris delimiters

Added delimiters for the dependently typed function programming language Idris
(http://www.idris-lang.org)