New RFC: add ? postfix operator to language
29 views
Skip to first unread message
Andrew Helwer
Feb 13, 2023, 3:00:30 PM2/13/23
to tlaplus
You can see the RFC here: https://github.com/tlaplus/rfcs/issues/6
There are two use cases I've come up with, interested to hear if anyone else has other, more creative use-cases.
Andrew
Reply all
Reply to author
Forward
0 new messages