/tree-sitter-tlaplus

A tree-sitter grammar for TLA+

Primary LanguageCMIT LicenseMIT

No issues in this repository yet.