[HN Gopher] Writing a TLA+ tree-sitter grammar: my foray into fr...
       ___________________________________________________________________
        
       Writing a TLA+ tree-sitter grammar: my foray into free software
        
       Author : ahelwer
       Score  : 70 points
       Date   : 2023-01-12 16:47 UTC (6 hours ago)
        
 (HTM) web link (ahelwer.ca)
 (TXT) w3m dump (ahelwer.ca)
        
       | sakras wrote:
       | 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 wrote:
         | 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.
        
       ___________________________________________________________________
       (page generated 2023-01-12 23:01 UTC)