Search results

@tlaplus/tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

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

ahelwer

published 1.3.2 • 12 days agopublished 1.3.2 12 days ago

tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

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

ahelwer

published 1.3.2 • 12 days agopublished 1.3.2 12 days ago