Merge pull request #3494 from YorickPeterse/master

Add linter for Inko
This commit is contained in:
Horacio Sanson
2021-01-13 23:54:06 +09:00
committed by GitHub
11 changed files with 174 additions and 0 deletions
@@ -215,6 +215,8 @@ Notes:
* `idris`
* Ink
* `ink-language-server`
* Inko
* `inko` !!
* ISPC
* `ispc`!!
* Java