News for hackers. Stuff that matters.

A comment on Practical TLA+. Parent comment

Re:Practical TLA+ by markdoubleyou on Thursday October 18, 2018 @07:17PM (#18253164)
Exactly what I was looking for. Thank you.
[ Parent | on HN ]
Re:Practical TLA+ by bmays on Saturday October 20, 2018 @09:33PM (#18266356)
You're welcome, godspeed.
[ Parent | on HN ]