Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'languages.toml')
-rw-r--r--languages.toml19
1 files changed, 19 insertions, 0 deletions
diff --git a/languages.toml b/languages.toml
index ed77164a..6f52db11 100644
--- a/languages.toml
+++ b/languages.toml
@@ -4933,3 +4933,22 @@ block-comment-tokens = { start = "/*", end = "*/"}
[[grammer]]
name = "kcl"
source = { git = "https://github.com/KittyCAD/tree-sitter-kcl", rev = "8905e0bdbf5870b50bc3f24345f1af27746f42e8"}
+
+[[language]]
+name = "bovex"
+scope = "source.bovex"
+file-types = ["bovex", "bibvex"]
+comment-tokens = []
+block-comment-tokens = [{start = "(*", end = "*)"}, {start = "[*", end = "*]"}]
+indent = {tab-width = 2, unit = " "}
+[language.auto-pairs]
+'(' = ')'
+'[' = ']'
+'{' = '}'
+'"' = '"'
+'“' = '”'
+'‘' = '’'
+
+[[grammar]]
+name = "bovex"
+source = { git = "https://github.com/mi2ebi/tree-sitter-bovex", rev = "de7657a9cc3525b9b77c6d268da09dad5b1346b0" }