singleton-nats changelog

Changelog History

• v0.4.5 Changes

  • ✂ Remove the use of overlapping patterns in NatMinus.

• v0.4.4 Changes

  • 👍 Allow singletons-2.7.

• v0.4.3 Changes

  • 👍 Allow singletons-2.6.

• v0.4.2 Changes

  • 👍 Allow singletons-2.5.

• v0.4.1 Changes

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

• v0.4.0.4 Changes

  • 👍 Allow singletons-2.4.

• v0.4.0.3 Changes

  • 👍 Allow singletons-2.3.