## 0.2.2 *September 29th 2016*

- New features:
- Derive smaller constraints from larger constraints when they differ by a single variable, i.e.
`KnownNat (a + b), KnownNat b`

implies `KnownNat a`

.

## 0.2.1 *August 19th 2016*

- Fixes bugs:
- Source location of derived wanted constraints is, erroneously, always set to line 1, column 1

## 0.2 *August 17th 2016*

- New features:
- Handle
`GHC.TypeLits.-`

- Handle custom, user-defined, type-level operations
- Thanks to Gabor Greif (@ggreif): derive smaller from larger constraints, i.e.
`KnownNat (n+1)`

implies `KnownNat n`

## 0.1.2

- New features: Solve "complex" KnownNat constraints involving arbitrary type-functions, as long as there is a given KnownNat constraint for this type functions.

## 0.1.1 *August 11th 2016*

- Fixes bug: panic on a non-given KnownNat constraint variable

## 0.1 *August 10th 2016*