Hacker News Reader

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.

View on HN

Regardless, thanks for the informative site.

There is C syntax? Neat. Is it used in your book?

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

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.

Reply on news.ycombinator.com