Added Idris delimiters

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