idris-hackers/idris-vim — pull request #27 by ctford (2014-11-23 14:40:42+00:00)
Title: Document commands

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.