A tutorial about how to apply property-based testing to stateful systems.
Primary LanguageHaskellMIT LicenseMIT