GitHub repository: tlaplus-community/tree-sitter-tlaplus
Primary language: C
Created: 2021-03-10T22:47:53Z
Description: A tree-sitter grammar for TLA⁺ and PlusCal