4 ms·
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 (IM
by sakras 4y ago
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!
- ahelwer 4y agoNot an emacs person myself (yet!) - Carl Thuringer created tla-mode that apparently uses the grammar: https://github.com/carlthuringer/tla-mode 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/tree/main/integrations/ 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.