mirror of
https://github.com/dense-analysis/ale
synced 2024-12-24 15:13:02 +00:00
322910dc0b
* Add linter for Idris * Fix parsing warnings and column ranges in Idris linter * Make Idris linter configurable. Fix help tag. |
||
|---|---|---|
| .. | ||
| idris.vim | ||