[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] What resources exist documenting the finer points of TLA+ language interpretation?
- From: Andrew Helwer <andrew.helwer@xxxxxxxxx>
- Date: Fri, 12 Mar 2021 10:29:18 -0800 (PST)
- Ironport-hdrordr: A9a23:2E7v56MdaobftMBcTyn155DYdL4zR+YMi2QD/UoZc31oW+afkN2jm+le6AT9jywfVGpltdeLPqSBRn20z+8S3aA6O7C+UA76/Fa5NY0K1/qE/xTMOQ3bstRc26BpbrRkBLTLZ2RSoM7m7GCDfuoI78KA9MmT6dv273Aodg1ybrEl0gERMHf5LmRSRBNaQbIjHpud+cYvnUvdRV0zbt6nQlkpNtKz2uHjsZL9fFo+AQQ7gTP+8g+Azb7hDlyl2Q0DWClE2rco/QH+4nLEz4GuqeuyxBOZ90K71fRrsf/gztcGO8CWkMgSLVzX+2KVTb17V7ePsTwzqu3H0idSrPD2rx0tP9t+5hrqFwnfnTLX1wbtyzoo4XP5oGXo40fLmsDhQSJ/Nswpv+1kWyHE4EkttswU6tMv40ulsfNsYy/orWDU+8XPEypnjFOzpmAv1dQOlmVFXZEFAYUh3LA3zQd6EIogACm/04wuCu9oZfusnsp+QBe1b235omIq+9CnXm0yEhCaK3JywfC94nx5nG1Z00Bd/8AUnm4B+JUhD7FI6v/JKL4ArsA/cuYmKYx8GcYcSo+MBmvBTQmkChPrHWja
For example, how would I answer questions like:
- When defining macros, do we allow a space like macroname (arg1, arg2) == ...
- How exactly does evaluation of conjuncts/disjuncts with different indentation work
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.