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