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