search

tlaplus-community / tree-sitter-tlaplus

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

Fix handling of nonfix `!!` operator #114

Closed ahelwer closed 7 months ago

ahelwer commented 7 months ago

Had to move !! lexing into external scanner. Added lots of weird regression tests.

Closes #97