singleton-nats v0.4.1 Release Notes
-
- ➕ Add a
Num Nat
instance. - Implement
signum
in thePNum
/SNum
instances forNat
. - Define defunctionalization symbols for
Lit
. - Define
someNatVal
.
- ➕ Add a
Num Nat
instance.signum
in the PNum
/SNum
instances for Nat
.Lit
.someNatVal
.