initial commit

.gitignore

@@ -0,0 +1 @@
+grammars

extension.toml

@@ -0,0 +1,15 @@
+id = "laddertypes"
+name = "Ladder-Types"
+version = "0.0.1"
+schema_version = 1
+authors = ["Michael Sippel <senvas@exobiont.de>"]
+description = "Laddertypes Extension for Zed"
+repository = "https://forge.exobiont.de/syntaxAlchemist/zed-laddertypes"
+
+[grammars.laddertypes]
+repository = "https://forge.exobiont.de/syntaxAlchemist/tree-sitter-laddertypes"
+commit = "64174054ad80d82217feb47e6e9ba700d473659d"
+
+[grammars.morphismbase]
+repository = "https://forge.exobiont.de/syntaxAlchemist/tree-sitter-morphismbase"
+commit = "561059224e6eb52d45de4364e58416b3cb3937e0"

languages/laddertypes/brackets.scm

@@ -0,0 +1,4 @@
+("[" @open "]" @close)
+("(" @open ")" @close)
+("{" @open "}" @close)
+("<" @open ">" @close)

languages/laddertypes/config.toml

@@ -0,0 +1,6 @@
+name = "Ladder-Types"
+grammar = "laddertypes"
+path_suffixes = ["lt"]
+line_comments = []
+tab_size = 4
+hard_tabs = false

languages/laddertypes/highlights.scm

@@ -0,0 +1,3 @@
+[ "Seq" "Struct" "Enum" "-->" "-morph->" "∀" "." ] @keyword
+[ "{" "}" "(" ")" "[" "]" "<" ">" ]  @punctuation.bracket
+[ "~" ] @operator

languages/morphismbase/brackets.scm

@@ -0,0 +1,5 @@
+("[" @open "]" @close)
+("(" @open ")" @close)
+("{" @open "}" @close)
+("<" @open ">" @close)
+("```" @open "```" @close)

languages/morphismbase/config.toml

@@ -0,0 +1,6 @@
+name = "Morphism Base"
+grammar = "morphismbase"
+path_suffixes = ["morphism-base"]
+line_comments = []
+tab_size = 4
+hard_tabs = false

languages/morphismbase/highlights.scm

@@ -0,0 +1,4 @@
+[ ] @keyword
+[ "-->" ] @punctuation.delimiter
+
+[ "```" "(" ")" ]  @punctuation.bracket