News for hackers. Stuff that matters.

A comment on Modeling Redux with TLA+. Parent comment

Re:Modeling Redux with TLA+ by elcapitan on Tuesday March 13, 2018 @07:16AM (#16575218)
Thanks, will look into that - I read that Coq can generate Haskell etc, so I was wondering if something similar exists.
[ Parent | on HN ]

There are no comments on this comment yet.