Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-09-04 | Improve ALE project style checking | w0rp | |
* 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-02 | Simplify the code for most linters and tests with closures | w0rp | |
2017-08-10 | Add 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. |