tree-sitter-tlaplus

tlaplus-community
js
tree-sitter-tlaplus JS library on GitHub tree-sitter-tlaplus JS library on npm Download tree-sitter-tlaplus JS library

A tree-sitter grammar for TLA⁺ and PlusCal

Version 1.5.0 License MIT
tree-sitter-tlaplus has no homepage
tree-sitter-tlaplus JS library on GitHub
tree-sitter-tlaplus JS library on npm
Download tree-sitter-tlaplus JS library
Keywords
tla+tlapluspluscaltree-sittergrammarparser
INSTALL
Version:
Learn more
Readme Files Statistics Browse CDN