idris-hackers/idris-mode — pull request #103 by david-christiansen (2014-03-30 02:20:06+00:00)
Title: Support highlighting metavariables

Support Idris's semantic info on what names are metavariables and use
the same face as in source code.

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