summaryrefslogtreecommitdiff
path: root/supported-tools.md
diff options
context:
space:
mode:
authorYorick Peterse <yorick@yorickpeterse.com>2020-10-29 18:27:27 +0100
committerYorick Peterse <yorick@yorickpeterse.com>2020-12-23 16:50:45 +0100
commit8375ee2766c4d69462b8c883ddf76d58a86891e4 (patch)
tree788aeba36d0c906359dd18a69225b8998bc508ec /supported-tools.md
parent557a1ed5da70cb443a8650766f4e8ea95e8c0da3 (diff)
downloadale-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.md2
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