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 /README.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 'README.md')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -84,6 +84,7 @@ name. That seems to be the fairest way to arrange this table. | Handlebars | [ember-template-lint](https://github.com/rwjblue/ember-template-lint) | | Haskell | [ghc](https://www.haskell.org/ghc/), [stack-ghc](https://haskellstack.org/), [stack-build](https://haskellstack.org/), [ghc-mod](https://github.com/DanielG/ghc-mod), [stack-ghc-mod](https://github.com/DanielG/ghc-mod), [hlint](https://hackage.haskell.org/package/hlint), [hdevtools](https://hackage.haskell.org/package/hdevtools) | | HTML | [HTMLHint](http://htmlhint.com/), [proselint](http://proselint.com/), [tidy](http://www.html-tidy.org/) | +| Idris | [idris](http://www.idris-lang.org/) | | Java | [checkstyle](http://checkstyle.sourceforge.net), [javac](http://www.oracle.com/technetwork/java/javase/downloads/index.html) | | JavaScript | [eslint](http://eslint.org/), [jscs](http://jscs.info/), [jshint](http://jshint.com/), [flow](https://flowtype.org/), [standard](http://standardjs.com/), [prettier](https://github.com/prettier/prettier) (and `prettier-eslint`, `prettier-standard`), [xo](https://github.com/sindresorhus/xo) | JSON | [jsonlint](http://zaa.ch/jsonlint/) | |