tree-sitter-tlaplus (cargo): A tree-sitter grammar for TLA⁺ and PlusCal
Keywords: parser|tree-sitter|pluscal|tlaplus|tla+|grammar