diff options
Diffstat (limited to '')
| -rw-r--r-- | syntax/idris.vim | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/syntax/idris.vim b/syntax/idris.vim index 05566fa4..934c900b 100644 --- a/syntax/idris.vim +++ b/syntax/idris.vim @@ -1,4 +1,5 @@ if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'idris') == -1 + " syntax highlighting for idris (idris-lang.org) " " Heavily modified version of the haskell syntax @@ -88,4 +89,5 @@ highlight def link idrisChar String highlight def link idrisBacktick Operator let b:current_syntax = "idris" + endif |