idris-hackers/idris-vim — pull request #8 by walkie (2014-03-04 17:18:45+00:00)
Title: Add syntax highlighting for Literate Idris.

This is just a minimal adaption of Haskell's syntax highlighting for literate Haskell with Bird tracks.