search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Document commands #27

Closed ctford closed 9 years ago

ctford commented 9 years ago

I documented a few commands that I noticed in the source but not in the docs.

I didn't mention b because I'm not quite sure how to describe it, but it's another undocumented one.