tree-sitter-tlaplus 1.2.3

A tree-sitter grammar for TLA⁺ and PlusCal
Documentation