search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Fix Syntastic integration #46

Closed hansler closed 8 years ago

hansler commented 8 years ago

Fixes Syntastic integration; previously, Syntastic wasn't displaying errors with the latest versions of nvim, idris, and Syntastic.