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!
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.
4 comments
[ 0.76 ms ] story [ 19.6 ms ] threadHaven'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.