search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Add comments setting to make vim recognize Idris comments #15

Closed pminten closed 10 years ago