diff options
Diffstat (limited to 'indent/idris.vim')
| -rw-r--r-- | indent/idris.vim | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/indent/idris.vim b/indent/idris.vim index 86aae692..3c415e74 100644 --- a/indent/idris.vim +++ b/indent/idris.vim @@ -1,4 +1,5 @@ if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'idris') == -1 + " indentation for idris (idris-lang.org) " " Based on haskell indentation by motemen <motemen@gmail.com> @@ -143,4 +144,5 @@ function! GetIdrisIndent() return match(prevline, '\S') endfunction + endif |