idris-hackers/idris-mode — pull request #101 by david-christiansen (2014-03-19 16:04:15+00:00)
Title: Add highlighting of keywords

Relies on https://github.com/idris-lang/Idris-dev/pull/985