3 commits

Author	SHA1	Message	Date
w0rp	4634b1be93	Fix Flow and Idris tests for Windows	2017-10-01 18:41:41 +01:00
w0rp	a7614d9502	Get more tests to pass on Windows	2017-09-11 22:25:15 +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