Age | Commit message (Collapse) | Author | |
---|---|---|---|
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. |