vim: added implicit and static annotations
Merge pull request #196 from raichoo/master

vim
Only apply unique implicit conversions (and add test)
Merge branch 'master' of github.com:edwinb/Idris-dev
Fix error with coercions in function arguments
Make Haddock able to parse Idris's source
Haddock for completion module
Reformat existing comments for Haddock and add Haddock comments
Merge pull request #197 from david-christiansen/haddock

Get Idris's implementation to generate some Haddock