The Water Jug Problem in Hedgehog - clrnd's - discu.eu

Reddit

The Water Jug Problem in Hedgehog http://clrnd.com.ar/posts/2017-04-21-the-water-jug-problem-in-hedgehog.html 7 comments 25/4/2017 haskell

Linking pages

GitHub - advancedtelematic/quickcheck-state-machine: Test monadic programs using state machine based models https://github.com/advancedtelematic/quickcheck-state-machine#readme 10 comments

Linked pages

Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis - Hypothesis http://hypothesis.works/articles/how-not-to-die-hard-with-hypothesis/ 20 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:clrnd.com.ar

Search title: The Water Jug Problem in Hedgehog - clrnd's

See how to search.

Submit link to: