idris-hackers/idris-mode — pull request #234 by david-christiansen (2014-07-24 12:18:23+00:00)
Title: Better highlighting of keywords

Though it's still regexps. This should really be in Haskell instead of Emacs regexps!