« Changelog History


singleton-nats v0.4.1 Release Notes

    • ➕ Add a Num Nat instance.
    • Implement signum in the PNum/SNum instances for Nat.
    • Define defunctionalization symbols for Lit.
    • Define someNatVal.