3 ms·
https://github.com/tlaplus-community/tree-sitter-tlaplus https://github.com/tlaplus-community/tree-sitter-tlaplus
by ahelwer 5y ago
https://github.com/tlaplus-community/tree-sitter-tlaplus https://github.com/tlaplus-community/tree-sitter-tlaplus