idris-hackers/idris-mode — pull request #285 by david-christiansen (2014-12-31 05:25:00+00:00)
Title: LIDR-aware syntax search

As far as I can see, comments, docs, and text portions of LIDR files are
now all free of Idris keyword highlighting. The same technique can later
be used to highlight Markdown in docs.

I believe this fixes #45, finally.