/tree-sitter-tlaplus

A tree-sitter grammar for TLA+

Primary LanguageCMIT LicenseMIT

Watchers