3 commits

Author	SHA1	Message	Date
w0rp	d476578a40	Improve ALE project style checking ... * 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-09-04 16:51:18 +01:00
w0rp	217284360d	Simplify the code for most linters and tests with closures	2018-08-02 23:44:12 +01:00
Scott Bonds	322910dc0b	Add linter for Idris (#838) ... * 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