Added some documentation

idris-hackers / idris-vim

Idris mode for vim

221 stars 52 forks source link

Closed japesinator closed 10 years ago

japesinator commented 10 years ago

There is now a doc folder containing a standard vim helpfile for idris-vim

LeifW commented 10 years ago

Thanks for this! Should it be in a doc/ folder, though?

japesinator commented 10 years ago

I think I fixed that now.

raichoo commented 10 years ago

Good stuff! Thanks a bunch!