This repository has been archived on 2024-07-19. You can view files and clone it, but cannot push or open issues or pull requests.

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
..
idris.vim	Add linter for Idris (#838)	2017-08-10 21:09:58 +01:00