tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57 stars 10 forks source link

Added unicode symbol alternatives #38

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

Added support for alternative Unicode symbols. Since this grammar is intended to be permissive by design, it's okay if we accept certain unicode symbols even if they don't end up in the standard.