diff options
author | Matthew Toohey | 2022-07-05 11:00:38 +0000 |
---|---|---|
committer | GitHub | 2022-07-05 11:00:38 +0000 |
commit | d78354c537e00ddb0976efad1df49c90a224f107 (patch) | |
tree | 0295e84bda9b8df88bd8db2d560cd974dd80bf1c /book/src/generated/lang-support.md | |
parent | b26e7e2e8fc900b5637d9772ecb74874e8794ecc (diff) |
add language `idris` (#2971)
Diffstat (limited to 'book/src/generated/lang-support.md')
-rw-r--r-- | book/src/generated/lang-support.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md index 3c56a6f4..85e42b15 100644 --- a/book/src/generated/lang-support.md +++ b/book/src/generated/lang-support.md @@ -40,6 +40,7 @@ | hcl | ✓ | | ✓ | `terraform-ls` | | heex | ✓ | | | | | html | ✓ | | | `vscode-html-language-server` | +| idris | | | | `idris2-lsp` | | iex | ✓ | | | | | java | ✓ | | | `jdtls` | | javascript | ✓ | | ✓ | `typescript-language-server` | |