tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57 stars 10 forks source link

Easier/cleaner way to write tree-sitter grammar #123

Closed mingodad closed 2 months ago

mingodad commented 2 months ago

Here https://mingodad.github.io/lua-wasm-playground/ there is an easier/cleaner way to write tree-sitter grammars like tlaplus (select Tree-sitter-ebnf-generator-TlaPlus from Examples then click Run to see a full commented out grammar.js from the EBNF variant describng the grammar in Input Text (arg[1])).

I hope it can be helpful !

ahelwer commented 2 months ago

Thanks!