Changelog for integer-types-0.1.0.0
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