1
0
mirror of https://github.com/dense-analysis/ale synced 2025-01-12 01:19:25 +00:00
Commit Graph

1 Commits

Author SHA1 Message Date
Scott Bonds
322910dc0b Add linter for Idris ()
* 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