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.