Merge pull request #139 from statusfailed/idris-syntax-patch

Support for Idris
This commit is contained in:
Caleb Maclennan 2016-05-23 20:53:02 +03:00
commit 5c61776994
No known key found for this signature in database
GPG Key ID: 63CC496475267693

View File

@ -202,6 +202,7 @@ let s:delimiterMap = {
\ 'icon': { 'left': '#' },
\ 'idlang': { 'left': ';' },
\ 'idl': { 'left': '//', 'leftAlt': '/*', 'rightAlt': '*/' },
\ 'idris': { 'leftAlt': '--', 'left': '{-', 'right': '-}' },
\ 'inform': { 'left': '!' },
\ 'inittab': { 'left': '#' },
\ 'ishd': { 'left': '//', 'leftAlt': '/*', 'rightAlt': '*/' },