idris-hackers/idris-vim — pull request #12 by japesinator (2014-04-25 03:08:11+00:00)
Title: Added some documentation

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