A tree-sitter grammar for TLA⁺ and PlusCal
Why do you think that https://github.com/tree-sitter/tree-sitter-embedded-template is a good alternative to tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
Why do you think that https://github.com/tree-sitter/tree-sitter-embedded-template is a good alternative to tree-sitter-tlaplus