aboutsummaryrefslogtreecommitdiff
path: root/languages.toml
diff options
context:
space:
mode:
Diffstat (limited to 'languages.toml')
-rw-r--r--languages.toml32
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" }