News for hackers. Stuff that matters.

A comment on Learn TLA+ (2018). Parent comment

Re:Learn TLA+ (2018) by 0x62c1b43e on Sunday February 23, 2020 @03:22PM (#22399295)
A lot of people use PlusCal, which is basically pseudocode that compiles to TLA+. Depending on what you're modeling, PlusCal or directly writing TLA+ might be a better fit.
[ Parent | on HN ]

There are no comments on this comment yet.