Add syntax highlighting for Literate Idris.

idris-hackers / idris-vim

Idris mode for vim

221 stars 52 forks source link

Closed walkie closed 10 years ago

walkie commented 10 years ago

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