idris-hackers/idris-vim — pull request #28 by cdepillabout (2014-12-29 09:00:29+00:00)
Title: Add commentstring setting.

The commentstring setting is used in plugins like Tim Pope's
"commentary" plugin. commentstring defaults to "/*", which is not
usable by idris. This commit changes it to "--".