/tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

Primary LanguageCMIT LicenseMIT

Watchers