forked from github-mirrors/ale
* Add linter for Idris * Fix parsing warnings and column ranges in Idris linter * Make Idris linter configurable. Fix help tag. |
||
---|---|---|
.. | ||
idris.vim |
* Add linter for Idris * Fix parsing warnings and column ranges in Idris linter * Make Idris linter configurable. Fix help tag. |
||
---|---|---|
.. | ||
idris.vim |