edwinb/Idris-dev — pull request #1 by dpmulligan (2012-01-19 10:55:47+00:00)
Title: Added highlighting mode for GEdit in a new contribs directory

Added a gtksourceview-2.0 and gtksourceview-3.0 language specification for highlighting Idris source files in GEdit and other Gnome based editors. No highlighting mode for literate files at the moment. Based the language specification on the existing Haskell highlighting mode for GEdit and the Parser in src/Idris/Parser.hs.