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