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

[tlaplus] PlusCal resources?

Where can I find language standard documents and other things relating to PlusCal? I don't mean tutorials, I mean something like a BNF grammar and semantics similar to chapters 15-17 of Specifying Systems or stuff found on this site: http://lamport.azurewebsites.net/tla/tla2.html


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/de3f06f3-a515-4aa9-b29e-cda2e1954fd7n%40googlegroups.com.