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

[tlaplus] What resources exist documenting the finer points of TLA+ language interpretation?

For example, how would I answer questions like:
Please note I am not asking these specific questions (because there are many more than that and I don't want to bore you); I'm asking what resources exist that would enable me to know the answer to such questions. So far I've found:
Is there... a TLA+ spec of TLA+? :)


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/b0b35999-e56d-4c3c-a040-df66e280e4can%40googlegroups.com.