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 • 4 months agopublished 1.3.6 4 months 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 • 4 months agopublished 1.3.6 4 months ago