3 ms·
Practical 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.azurewebsite
by strangecasts 7y ago
Practical 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 7y 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.