idris-lang/Idris-dev — pull request #1012 by david-christiansen (2014-03-30 02:12:18+00:00)
Title: Add semantic highlighting info for metavariables

This will enable the appropriate fonts to be used in IDEs such as idris-mode

Fixes #949.