added delimiters for idris (http://www.idris-lang.org)