0.4.1.1
-------
* Fixed infinite loop in definition of negate.

0.4.1.0
-------
* Added function for computing rational approximations of ExactPi values.

0.4.0.0
-------
* Added simpler constraints for converting ExactPi types to terms with the minimal context.

0.3.1.0
-------
* Added support for exactly comparing values.

0.3.0.0
-------
* Added a type-level representation of ExactPi values.

0.2.1.2
-------
* Fixed a bug in recip.
* Fixed approximation of exact values with a negative exponent for pi.

0.2.1.1
-------
* Fixed a missing case in isZero.

0.2.1.0
-------
* Added support for converting to exact integers or exact rationals.

0.2.0.0
-------
* Removed dependency on groups package, since it appears not to be widely used.
* Fixed a missing case alternative in recip.

0.1.2.0
-------
* Added support for GHC 7.8.