TLA+ grammar for tree-sitter
This crate provides the tlaplus language grammar for use with tree-sitter.