Change log

typenums uses PVP Versioning. The change log is available on GitHub.

0.1.1

• #1 Added existentially-quantified datatypes SomeInt and SomeRat to handle type-level Ints and Rats that are not statically known. Added functions someIntVal and someRatVal to construct these from an Integer/Rational value.

0.1.0.0

• Initial Haddock release
• Defined type-level integers and rationals
• Defined polykinded arithmetic over nats, ints and rats
• Defined polykinded comparison over nats, ints and rats
• Added Data.TypeLits module