idris-hackers/idris-mode — pull request #208 by david-christiansen (2014-07-09 13:53:08+00:00)
Title: Support semantic highlighting of proof state

This isn't the Right Way, which would be to send all the structural
information, but it's straightforwardly achievable right now and an
improvement on what's there.

Supports the new output from idris-lang/Idris-dev#1369 but will still work with older versions.