diff options
| author | Scott Bonds <scott@mixbook.com> | 2017-08-10 13:09:58 -0700 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2017-08-10 21:09:58 +0100 |
| commit | 322910dc0b07c1b59bc968b1fb0d4c1d8bfb988e (patch) | |
| tree | 7a9bb2cf2c1c4fda1c43ea2d0378f7155f982859 /ISSUE_TEMPLATE.md | |
| parent | dcf7cbe3661444b272346f9a3f1a7fd26b97dae3 (diff) | |
| download | ale-322910dc0b07c1b59bc968b1fb0d4c1d8bfb988e.zip | |
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.
Diffstat (limited to 'ISSUE_TEMPLATE.md')
0 files changed, 0 insertions, 0 deletions