Extrapolate v0.4.6

Extrapolate v0.4.4

Extrapolate v0.4.2

Extrapolate v0.4.1

Extrapolate v0.4.0

Changes since v0.3.3:

* the basic testing interface has remained more or less the same;

* the internal stuff and advanced-use functions changed a lot;

* use Express instead of Speculate as the provider of the 'Expr' type;

* change the way modules are organized;

* internal code has been refactored and is now easier to read;

* some `with...` functions have been removed for the sake of simplicity;

* `Generalizable` now only defines `background` and `subInstances`:

	- the `expr` function is now provided by `Express` from the Express library

	- the `name` function is now provided by `Name` from the Express library

Extrapolate v0.3.3

Changes since v0.3.2:

* include all files tracked by git in the source dist;
* add test to check that all files tracked by git are in the source dist.

Extrapolate v0.3.2

changes since v0.3.1

* improve tests & build scripts;
* bump dependencies;
* minor improvements in docs;

Extrapolate v0.3.1

There is just one change since v0.3.0:

* the link to the source repository is fixed in the cabal file.

Extrapolate v0.3.0

Changes since v0.2.4:

* use Speculate to avoid testing equivalent conditions:
	- this increases runtime a bit for most examples;
	- but reduces runtime _a lot_ for a few examples;

* increase default number of tests from 360 to 500;

* now test _all_ conditions for a given generalization;

* do away with minimum number of failures;

* include Bool and Int backgrounds by default;

* auto deriveListable when deriveGeneralizable;

* improve Generalizable instances (bigger background);

* add options to limit depth and #-constants;

* code cleanup & linting;

* improve Makefile;

* improve testing of Extrapolate itself.

Extrapolate v0.2.4

quick release