TLA+ and PlusCal editing mode for emacs powered by tree-sitter
Why do you think that https://github.com/carlthuringer/tla-mode is a good alternative to tla-ts-mode
TLA+ and PlusCal editing mode for emacs powered by tree-sitter
Why do you think that https://github.com/carlthuringer/tla-mode is a good alternative to tla-ts-mode