News for hackers. Stuff that matters.

A comment on Modeling Redux with TLA+. Parent comment

Re:Modeling Redux with TLA+ by andrewflnr on Tuesday March 13, 2018 @09:36AM (#16575950)
Affect my decision to learn TLA? Probably not. Entertaining? Interesting? Something I would want to know? Yes.
[ Parent | on HN ]

There are no comments on this comment yet.