###
# languages.toml
#

# agda language server
[language-server.als]
command = "als"

# agda
[[language]]
name = "agda"
scope = "source.agda"
injection-regex = "agda"
file-types = ["agda", "lagda"]
comment-token = "--"
indent = { tab-width = 2, unit = " " }
auto-format = false
language-servers = ["als"]

# idris2 language server
[language-server.idris2]
command = "idris2-lsp"

# idris2
[[language]]
name = "idris2"
scope = "source.idr"
injection-regex = "idris2"
file-types = ["idr"]
comment-token = "--"
indent = {tab-width = 2, unit = " " }
language-servers = ["idris2"]


# lean language server (from lake)
[language-server.lean]
command = "lake"
args = ["serve"]
required-root-patterns = ["lakefile.lean", "lean-toolchain"]

# lean
[[language]]
name = "lean"
scope = "source.lean"
injection-regex = "lean"
file-types = ["lean"]
comment-token = "--"
indent = { tab-width = 2, unit = " " }
auto-format = false
language-servers = ["lean"]

# typst language server
[language-server.tinymist]
command = "tinymist"

[[language]]
name = "typst"
auto-format = true
language-servers = ["tinymist"]

[language-server.ellsp]
command = "eask"
args = ["exec", "ellsp"]
required-root-patterns = ["Eask"]

[[language]]
name = "elisp"
language-servers = ["ellsp"]