Revision history for natural-arithmetic
0.2.1.0 -- 2024-02-02
- Add
fromInt
and fromInt#
to Arithmetic.Fin
.
- Update package metadata.
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
0.1.0.0 -- 2019-09-04