News for hackers. Stuff that matters.

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

Re:Learn TLA+ (2018) by rosenberg96 on Tuesday February 25, 2020 @11:48AM (#22414681)
I'm really interested in these ideas any chance you can share your progress before October?
[ Parent | on HN ]

There are no comments on this comment yet.