4 ms·
Is your tree-sitter grammar for TLA+ public somewhere?
by iib 5y ago
Is your tree-sitter grammar for TLA+ public somewhere?
- ahelwer 5y agohttps://github.com/tlaplus-community/tree-sitter-tlaplus https://github.com/tlaplus-community/tree-sitter-tlaplus