Revision history for natural-arithmetic

0.2.0.0 -- 2024-01-09

• Change the types of with# and construct# (both in Arithmetic.Fin) to use an unboxed "less than" instead of a boxed one. This is a breaking change.
• Add patterns for the natural numbers 5, 6, 7.
• Add a lot of primitives for working with unboxed natural and inequalities. GHC is unable to eliminate the boxed Fin type in a suprisingly large number of cases, and Fin# helps a lot with this.

0.1.4.0 -- 2023-05-31

• Add unboxed Nat type
• Add nominal role for Fin# type constructor. Technically, this is a breaking change, but if anyone was using coerce on a Fin#, they were already in a bunch of trouble. So, there is not going to be a major version bump for this.

0.1.3.0 -- 2022-05-23

• Add strict variant of descend.
• Add unboxed Fin type

0.1.2.0 -- 2019-01-20

• Add strict variant of descend.

0.1.1.0 -- 2019-11-22

• Undocumented

0.1.0.0 -- 2019-09-04

• Initial release.