Changelog for the ghc-typelits-natnormalise package

0.2 April 22nd 2015

• Finds more unifications:
  • (2 + a) ~ 5 ==> [a := 3]
  • (3 * a) ~ 0 ==> [a := 0]

0.1.2 April 21st 2015

• Don't simplify expressions with negative exponents

0.1.1 April 17th 2015

• Add workaround for https://ghc.haskell.org/trac/ghc/ticket/10301

0.1 March 30th 2015

• Initial release