summaryrefslogtreecommitdiff
path: root/ale_linters/idris
AgeCommit message (Expand)Author
2018-08-02Simplify the code for most linters and tests with closuresw0rp
2017-08-10Add linter for Idris (#838)Scott Bonds