Changes in 0.1.1.1

  * Type level addition is fixed for GHC 7.6

  * Test suite added to cabal file

	
Changes in 0.1.1.0

  * withNat, withInt, SomeNat and SomeInt added.


Changes in 0.1.0.3

  * Fix build for GHC 7.4


Changes in 0.1.0.2:

  * Fix URL in cabal file

Changes in 0.1.0.1:

  * Workaround for GHC bug #4364 (Build failure on GHC 7.0)