Wow, thank you for doing this! I’ve been wanting to write TLA+ in emacs for a while now, but the lack of syntax highlighting has been forcing me back to the (IMO) clunky TLA+ toolbox. With emacs-treesitter coming in emacs 29, I’ll finally be able to live the dream!

Not an emacs person myself (yet!) - Carl Thuringer created tla-mode that apparently uses the grammar: https://github.com/carlthuringer/tla-mode

Haven't tested it out myself. Happy to take any PRs if emacs needs its own set of query files; they would live in https://github.com/tlaplus-community/tree-sitter-tlaplus/tre... and they can be added to CI runs to ensure they stay in sync with changes to the parser.

Just watched his talk on Youtube. Like it.