search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Cleaned up the docs #13

Closed japesinator closed 10 years ago

japesinator commented 10 years ago

I just fixed a few things and made it look nicer.