tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
1.5.0 • Published 9 months ago
Tlaplus Packages
@tlaplus/tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
1.5.0 • Published 9 months ago
A tree-sitter grammar for TLA⁺ and PlusCal
A tree-sitter grammar for TLA⁺ and PlusCal