[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

Looking at the BNF specs for TLA+ v1 and v2, the set of infix operators has some changes:
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?


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/9ed4a662-30f9-44c3-9d2c-469adfb1fa50n%40googlegroups.com.