Add comments setting to make vim recognize Idris comments
Merge pull request #15 from pminten/comments-setting

Add comments setting to make vim recognize Idris comments