Why was the ? infix operator removed between TLA+ v1 and v2?

21 views
Skip to first unread message

Andrew Helwer

unread,
Apr 22, 2021, 9:26:51 AM4/22/21
to tlaplus
Looking at the BNF specs for TLA+ v1 and v2, the set of infix operators has some changes:
  • The addition of the <= and \notin operators
  • The removal of the ? operator
I was also reminded of this when searching through files for the other thread and came across this line in the SANY code. So out of curiosity, what occasioned the removal?

Andrew
Reply all
Reply to author
Forward
0 new messages