An Emacs major mode for editing TLA+ specifications.
Why do you think that https://github.com/tlaplus-community/tree-sitter-tlaplus is a good alternative to tla-mode
An Emacs major mode for editing TLA+ specifications.
Why do you think that https://github.com/tlaplus-community/tree-sitter-tlaplus is a good alternative to tla-mode