idris-hackers/idris-mode — pull request #80 by david-christiansen (2014-02-12 22:51:50+00:00)
Title: Show highlighted compiler errors in Emacs

This relies on code being submitted to the compiler today.

It should be backwards-compatible, as far as I can see.