diff options
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 9029c94e..51b4efb2 100644 --- a/languages.toml +++ b/languages.toml @@ -2092,3 +2092,18 @@ comment-token = "//" [[grammar]] name = "ponylang" source = { git = "https://github.com/mfelsche/tree-sitter-ponylang", rev = "ef66b151bc2604f431b5668fcec4747db4290e11" } + +[[language]] +name = "dhall" +scope = "source.dhall" +injection-regex = "dhall" +file-types = ["dhall"] +roots = [] +comment-token = "--" +indent = { tab-width = 2, unit = " " } +language-server = { command = "dhall-lsp-server" } +formatter = { command = "dhall" , args = ["format"] } + +[[grammar]] +name = "dhall" +source = { git = "https://github.com/jbellerb/tree-sitter-dhall", rev = "affb6ee38d629c9296749767ab832d69bb0d9ea8" }
\ No newline at end of file |