0.1.0.0 (2023-02-09)

Change type of Integer.Natural.addOne from Integer -> Integer to Natural -> Positive

New functions:

Integer.Natural.length :: [a] -> Natural
Integer.Positive.length :: NonEmpty a -> Positive

0.0.0.1 (2023-01-16)

Consolidate all the test suites into one

Remove Safe pragmas

0.0.0.0 (2022-11-29)

Initial release