mirror/helix
1
0
Fork 0
mirror of https://github.com/helix-editor/helix synced 2024-11-10 10:34:45 +01:00
Code Issues

add language idris (#2971)

Browse Source
This commit is contained in:
Matthew Toohey 2022-07-05 07:00:38 -04:00 committed by GitHub
parent b26e7e2e8f
commit d78354c537
Signed by: GitHub
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
book/src/generated/lang-support.md
View File

@ -40,6 +40,7 @@
| hcl | ✓ | | ✓ | `terraform-ls` |
| heex | ✓ | | | |
| html | ✓ | | | `vscode-html-language-server` |
| idris | | | | `idris2-lsp` |
| iex | ✓ | | | |
| java | ✓ | | | `jdtls` |
| javascript | ✓ | | ✓ | `typescript-language-server` |

11
languages.toml
View File

@ -1503,3 +1503,14 @@ grammar = "elvish"
[[grammar]]
name = "elvish"
source = { git = "https://github.com/ckafi/tree-sitter-elvish", rev = "e50787cadd3bc54f6d9c0704493a79078bb8a4e5" }
[[language]]
name = "idris"
scope = "source.idr"
injection-regex = "idr"
file-types = ["idr"]
shebangs = []
roots = []
comment-token = "--"
indent = { tab-width = 2, unit = " " }
language-server = { command = "idris2-lsp" }