Modeling Redux with TLA+

Article URL: https://www.hillelwayne.com/post/tla-redux/

Comments URL: https://news.ycombinator.com/item?id=16569653

Points: 84

# Comments: 5

from Hacker News: Front Page http://ift.tt/2Emso8w
via