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
..
2017-07-16 15:35:21 +03:00
2017-08-10 21:09:58 +01:00
2017-08-07 13:00:17 +01:00
2017-08-02 23:05:19 +01:00
2017-07-17 20:28:21 +01:00
2017-08-10 21:09:58 +01:00