Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
brodo
on April 15, 2019
|
parent
|
context
|
favorite
| on:
Learn TLA+ (2018)
There is C syntax? Neat. Is it used in your book?
strangecasts
on April 15, 2019
[–]
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
hwayne
on April 15, 2019
|
parent
[–]
I 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.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: