git.iko.soy/helix
on master help sign in
add language `idris` (#2971)
d78354cMatthew Toohey
book/src/generated/lang-support.md+1
compare with master
unifiedsplit
@@ -40,6 +40,7 @@
40| hcl | ✓ | | ✓ | `terraform-ls` |
40| hcl | ✓ | | ✓ | `terraform-ls` |
41| heex | ✓ | | | |
41| heex | ✓ | | | |
42| html | ✓ | | | `vscode-html-language-server` |
42| html | ✓ | | | `vscode-html-language-server` |
43+| idris | | | | `idris2-lsp` |
43| iex | ✓ | | | |
44| iex | ✓ | | | |
44| java | ✓ | | | `jdtls` |
45| java | ✓ | | | `jdtls` |
45| javascript | ✓ | | ✓ | `typescript-language-server` |
46| javascript | ✓ | | ✓ | `typescript-language-server` |
languages.toml+11
@@ -1503,3 +1503,14 @@ grammar = "elvish"
1503[[grammar]]
1503[[grammar]]
1504name = "elvish"
1504name = "elvish"
1505source = { git = "https://github.com/ckafi/tree-sitter-elvish", rev = "e50787cadd3bc54f6d9c0704493a79078bb8a4e5" }
1505source = { git = "https://github.com/ckafi/tree-sitter-elvish", rev = "e50787cadd3bc54f6d9c0704493a79078bb8a4e5" }
1506+
1507+[[language]]
1508+name = "idris"
1509+scope = "source.idr"
1510+injection-regex = "idr"
1511+file-types = ["idr"]
1512+shebangs = []
1513+roots = []
1514+comment-token = "--"
1515+indent = { tab-width = 2, unit = " " }
1516+language-server = { command = "idris2-lsp" }