News for hackers. Stuff that matters.

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

Re:Learn TLA+ (2018) by ausimian on Saturday February 22, 2020 @10:07PM (#22394829)
I think that's fair. It's been described elsewhere as 'exhaustively testable pseudocode'.
[ Parent | on HN ]

There are no comments on this comment yet.