idris-hackers/idris-vim — pull request #16 by bradediger (2014-06-16 23:39:40+00:00)
Title: Highlight TODO (et al.) keywords within comments

Adds highlight keywords for `TODO`, `FIXME`, `XXX`, and `HACK` called out specifically within comment blocks.