#### 0.2.0
* Z-inspired definition of relations and associated operations were
added to help defining concise and showable models;
* Template Haskell derivation of `shrink` and type classes: `Show`,
`Constructors`, `HFunctor`, `HFoldable`, `HTraversable`;
* New and more flexible combinators for building sequential and
parallel properties replaced the old clunky ones;
* Circular buffer example was added;
* Two examples of how to test CRUD web applications were added.
#### 0.1.0
* The API was simplified, thanks to ideas stolen from
[Hedgehog](https://github.com/hedgehogqa/haskell-hedgehog/commit/385c92f9dd0aa7e748fc677b2eeead5e3572685f).
#### 0.0.0
* Initial release.