Bump version

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Rename --minimal-covers to --pre-conceptual, fix output

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Cleanup code style

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Improve haddock coverage

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Implement context product

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Make verbose output even more verbose

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
WIP: Fix minimal preconceptual covers

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Compute all the crosses of a given context

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Verify factorization results

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
WIP: Fix preconceptual factorizations

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Integrate with travis-ci

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Don't try to run tests on GHC 7.4

There's no point in trying to run tests on GHC 7.4, as tasty-rerun
requires base-4.6.

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Relax dependency version pins to allow building on GHC 7.8

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Update README

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Update README.md

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Add tests for factorizations

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
WIP: Fix preconceptual factorization

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Add test for preconceptual factorization

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Prettify output

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Factor out ensureSmallContext

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>