Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'languages.toml')
| -rw-r--r-- | languages.toml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/languages.toml b/languages.toml index d5235914..9adb1865 100644 --- a/languages.toml +++ b/languages.toml @@ -53,6 +53,7 @@ jq-lsp = { command = "jq-lsp" } jsonnet-language-server = { command = "jsonnet-language-server", args= ["-t", "--lint"] } julia = { command = "julia", timeout = 60, args = [ "--startup-file=no", "--history-file=no", "--quiet", "-e", "using LanguageServer; runserver()", ] } koka = { command = "koka", args = ["--language-server", "--lsstdio"] } +koto-ls = { command = "koto-ls" } kotlin-language-server = { command = "kotlin-language-server" } lean = { command = "lean", args = [ "--server", "--memory=1024" ] } ltex-ls = { command = "ltex-ls" } @@ -3966,6 +3967,20 @@ name = "amber" source = { git = "https://github.com/amber-lang/tree-sitter-amber", rev = "c6df3ec2ec243ed76550c525e7ac3d9a10c6c814" } [[language]] +name = "koto" +scope = "source.koto" +injection-regex = "koto" +file-types = ["koto"] +comment-token = "#" +block-comment-tokens = ["#-", "-#"] +indent = { tab-width = 2, unit = " " } +language-servers = ["koto-ls"] + +[[grammar]] +name = "koto" +source = { git = "https://github.com/koto-lang/tree-sitter-koto", rev = "b420f7922d0d74905fd0d771e5b83be9ee8a8a9a" } + +[[language]] name = "gpr" scope = "source.gpr" injection-regex = "gpr" |