Merge pull request #1 from bytbox/patch-1: use 'setlocal' instead of 'set' in idris.vim
whoops, accidentally rolled back some of the new syntax
Merge pull request #274 from jhenahan/master

Use 'setlocal' instead of 'set' in idris.vim