summaryrefslogtreecommitdiff
path: root/ale_linters/idris
AgeCommit message (Collapse)Author
2019-02-22#2132 - Replace all uses of foo_callback with foow0rp
2019-02-06Update syntax checkingw0rp
* Line continuation characters should be on the same lines. * .vim file line indentation should be a multiple of 4.
2018-09-04Improve ALE project style checkingw0rp
* The project style linter now runs while you type. * Now the scripts for checking the project require blank lines. * Many style issues have been found and fixed.
2018-08-02Simplify the code for most linters and tests with closuresw0rp
2017-08-10Add linter for Idris (#838)Scott Bonds
* Add linter for Idris * Fix parsing warnings and column ranges in Idris linter * Make Idris linter configurable. Fix help tag.