News for hackers. Stuff that matters.

A comment on Learn TLA+ (2018).

Re:Learn TLA+ (2018) by Eratosthenes on Saturday February 22, 2020 @10:01PM (#22394806)
I'm planning to use this to validate parts of a new cryptocurrency I'm working on.
[ Parent | on HN ]

There are no comments on this comment yet.