diff options
author | JJ | 2023-11-01 04:33:05 +0000 |
---|---|---|
committer | JJ | 2023-11-01 04:33:05 +0000 |
commit | 9663740245e2c18e160f6563d2f114f59d27b7c9 (patch) | |
tree | 747339a20cbb18011a34259241b3bb3baed96eb3 /languages.toml | |
parent | a4394d502f8ee551660af5c8f04545cca349efb9 (diff) |
Add support for Agda, update default Nim LSP23.10.1
Diffstat (limited to 'languages.toml')
-rw-r--r-- | languages.toml | 32 |
1 files changed, 30 insertions, 2 deletions
diff --git a/languages.toml b/languages.toml index 77c629e4..d55d5bfb 100644 --- a/languages.toml +++ b/languages.toml @@ -3,6 +3,7 @@ [language-server] +als = { command = "als" } awk-language-server = { command = "awk-language-server" } bash-language-server = { command = "bash-language-server", args = ["start"] } bass = { command = "bass", args = ["--lsp"] } @@ -46,6 +47,7 @@ metals = { command = "metals", config = { "isHttpEnabled" = true } } mint = { command = "mint", args = ["ls"] } nil = { command = "nil" } nimlangserver = { command = "nimlangserver" } +nimlsp = { command = "nimlsp" } nls = { command = "nls" } ocamllsp = { command = "ocamllsp" } ols = { command = "ols", args = [] } @@ -94,7 +96,7 @@ command = "ansible-language-server" args = ["--stdio"] [language-server.lua-language-server] -command = "lua-language-server" +command = "lua-language-server" [language-server.lua-language-server.config.Lua.hint] enable = true @@ -2775,7 +2777,7 @@ shebangs = [] roots = [] comment-token = "#" indent = { tab-width = 2, unit = " " } -language-servers = [ "nimlangserver" ] +language-servers = [ "nimlsp" ] [language.auto-pairs] '(' = ')' @@ -3012,3 +3014,29 @@ language-servers = [ "templ" ] [[grammar]] name = "templ" source = { git = "https://github.com/vrischmann/tree-sitter-templ", rev = "ea56ac0655243490a4929a988f4eaa91dfccc995" } + +[[language]] +name = "agda" +scope = "source.agda" +injection-regex = "agda" +file-types = ["agda"] +roots = [] +comment-token = "--" +# language-servers = [ "als" ] +# the agda language server is of questionable functionality. +auto-format = false +indent = { tab-width = 2, unit = " " } + +[language.auto-pairs] +'"' = '"' +"'" = "'" +'{' = '}' +'(' = ')' +'[' = ']' + +# [language.debugger] +# ?? can this be used for proof assistant support? explore + +[[grammar]] +name = "agda" +source = { git = "https://github.com/tree-sitter/tree-sitter-agda", rev = "c21c3a0f996363ed17b8ac99d827fe5a4821f217" } |