Search results

tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

• tla+
• tlaplus
• pluscal
• tree-sitter
• grammar
• parser

ahelwer

published 1.3.6 • a month agopublished 1.3.6 a month ago

@tlaplus/tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

• tla+
• tlaplus
• pluscal
• tree-sitter
• grammar
• parser

ahelwer

published 1.3.6 • a month agopublished 1.3.6 a month ago