It is gratifying to see all the questions about TLA+ on this group.
However, it worries me that so many of them are answered by Stephan
Merz. Stephan does a great job of answering them, and we are all
grateful to him. But depending so much on him is bad for two reasons:
It's not fair to him to have to do that much work, and depending so much
on him is not viable in the long term.
I would like to see other people answering more of the questions. If
you think you know the answer to a question, don't be shy about
posting your answer. If you're wrong, someone else can correct you,
and you and others will learn from your mistake. Let's make this
group a group effort, not just a forum for asking questions of a few
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/0dd69bfa-ad8a-4968-b67a-597add88799fn%40googlegroups.com