idris-hackers/idris-vim — pull request #13 by japesinator (2014-04-30 14:42:34+00:00)
Title: Cleaned up the docs

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