diff options
author | Yorick Peterse <yorick@yorickpeterse.com> | 2020-10-29 18:27:27 +0100 |
---|---|---|
committer | Yorick Peterse <yorick@yorickpeterse.com> | 2020-12-23 16:50:45 +0100 |
commit | 8375ee2766c4d69462b8c883ddf76d58a86891e4 (patch) | |
tree | 788aeba36d0c906359dd18a69225b8998bc508ec /supported-tools.md | |
parent | 557a1ed5da70cb443a8650766f4e8ea95e8c0da3 (diff) | |
download | ale-8375ee2766c4d69462b8c883ddf76d58a86891e4.zip |
Add linter for Inko
This adds a linter for Inko (https://inko-lang.org/). The linter makes
use of Inko's own compiler, and a newly introduced --check flag to only
check for errors; instead of also compiling source code.
Diffstat (limited to 'supported-tools.md')
-rw-r--r-- | supported-tools.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/supported-tools.md b/supported-tools.md index 49460892..49b53841 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -222,6 +222,8 @@ formatting. * [idris](http://www.idris-lang.org/) * Ink * [ink-language-server](https://github.com/ephread/ink-language-server) +* Inko + * [inko](https://inko-lang.org/) :floppy_disk: * ISPC * [ispc](https://ispc.github.io/) :floppy_disk: * Java |