# Version 0.5

* COMPILER ASSISTED BREAKING CHANGE: `integerVal`, `someIntegerVal`,
  `fromSInteger` and `withSomeSInteger` now deal with `KindInteger`'s
  `Integer`s, rather than `Prelude`'s `Integer`s.

* COMPILER ASSISTED BREAKING CHANGE: Removed `fromSInteger'`.

* Added `SingI` and `SingKind` instances.


# Version 0.4

* COMPILER ASSISTED BREAKING CHANGE: `TestEquality` and `TestCoercion` consider
  `N 0` and `P 0` to be different.

* BREAKING CHANGE: The `Integer` inside `SInteger`s is not automatically
  normalized anymore. This is so that `SDecide`, `TestEquality` and
  `TestCoercion` behave as expected, treating `N 0` and `P 0` differently.
  This is mostly an internal change, but it can be observed in the `Show`
  instance for `SInteger`, for example.

* Added role annotations to `SInteger`.

* Add dependency on `singletons` so that we can give a `Sing` and `SDecide`
  instances for type-level `Integer`s.

* Export `fromSInteger'`, `eqIntegerRep`.


# Version 0.3

* COMPILER ASSISTED BREAKING CHANGE: Renamed `Mod` to `Rem`, `DivMod` to
  `DivRem`, `mod` to `rem`, `divMod` to `divRem`.


# Version 0.2

* COMPILER ASSISTED BREAKING CHANGE: Removed `Div`, `Mod`, `Quote`
  and `Rem` in favour of more polymorphic `Div`, `Mod`.

* COMPILER ASSISTED BREAKING CHANGE: Removed `integerVal'`. Nothing
  wrong with it, just redundant.

* Export `Sign`, `Abs`, `GCD`, `LCM`, `Odd`, `Even`, `toPrelude`,
  `fromPrelude`, `showsPrecTypeLit`, `div`, `mod`, `divMod`,
  `DivMod`.

* Add `Eq`, `Ord`, `Show`, `Read` instances for `Integer`.

* Minor cabal and documentation improvements.


# Version 0.1

* Initial version.