Scott Bonds 322910dc0b Add linter for Idris (#838) ...

* Add linter for Idris

* Fix parsing warnings and column ranges in Idris linter

* Make Idris linter configurable. Fix help tag.

2017-08-10 21:09:58 +01:00

..

idris.vim

Add linter for Idris (#838)

2017-08-10 21:09:58 +01:00