tlaplus-community/tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

语言：C · GitHub 星标：80 · Fork：19

话题：grammar · parser · pluscal · tlaplus · tree-sitter

在 GitHub 上查看原仓库