#### 0.3.0 (2017-12-15)
* A propositional logic module was added to help provide better
counterexamples when pre- and post-conditions don't hold;
* Generation of parallel programs was improved (base on
a [comment](https://github.com/Quviq/QuickCheckExamples/issues/2) by
Hans Svensson about how Erlang QuickCheck does it);
* Support for semantics that might fail was added;
* Pretty printing of counterexamples was improved.
#### 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.