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