Version 0.5

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

• 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 SIntegers 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 Integers.

• 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.