Modeling Redux with TLA+

Re:Modeling Redux with TLA+ by mettamage on Tuesday March 13, 2018 @07:01AM (#16575135)

There is some discussion on it here about TLA+ itself: https://news.ycombinator.com/item?id=14373359

Not about JavaScript though, but C and Java.

[ Parent | on HN ]

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 ]