VimPlug/ale
1
0
Fork 0
mirror of https://github.com/dense-analysis/ale.git synced 2025-12-31 00:24:31 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
ea60fcea393da1b84dfd62ac1ff10dba6d2dccd2
ale/ale_linters/idris/idris.vim
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

2.6 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink