5 ms·
GodDAMN am I behind on updating this There's at least a couple more major improvements I want to make. One is fixing all of the small errors, and one is adding
by hwayne 8y ago
GodDAMN am I behind on updating this
There's at least a couple more major improvements I want to make. One is fixing all of the small errors, and one is adding c-syntax. They've been stalled out due to Reasons (tm), but I'm hoping on diving back in soon.
- duality 8y agoRegardless, thanks for the informative site.
- brodo 8y agoThere is C syntax? Neat. Is it used in your book?
- strangecasts 8y agoPractical TLA+ uses the Pascal-style syntax for PlusCal - the only guide to the C syntax that comes to mind ATM is Lamport's own: https://lamport.azurewebsites.net/tla/c-manual.pdf https://lamport.azurewebsites.net/tla/c-manual.pdf
- hwayne 8y agoI really strongly prefer the p-style syntax because it doesn't overload the meaning of `{}`, but a lot of other people in the community use c-style.