4 ms·

Writing a TLA⁺ tree-sitter grammar: my foray into free software

• 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 ago
    Not 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.
• deleted 4y ago
  [deleted]
• sakesun 4y ago
  Just watched his talk on Youtube. Like it.