Jacob Stanley's Hedgehog library has grown some exciting new functionality: state machine testing. This stuff is going straight into my everyday testing toolkit, so y'all get to read a bit about it. Property-based testing is typically introduced with simple functional examples, like reversing a list. It is a very profitable technique for testing pure code! It's less clear to the beginner how to ge