idris-hackers/idris-mode — pull request #265 by david-christiansen (2014-10-30 09:23:17+00:00)
Title: Better syntax

Significantly improves idris-mode highlighting of character literals, and fixes some long-standing bugs in keyword highlighting.