hasufell/ale
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Files
b6a487ccf9318e449a85bd5b43d7a81b9d17d2be
ale/test/handler/test_idris_handler.vader
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

1.8 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink