summaryrefslogtreecommitdiff
path: root/test/handler/test_idris_handler.vader
AgeCommit message (Collapse)Author
2017-10-01Fix Flow and Idris tests for Windowsw0rp
2017-09-11Get more tests to pass on Windowsw0rp
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.