BSD3 licensed by András Kovács
Maintained by puttamalac@gmail.com

Module documentation for 0.4.1

singleton-nats

Hackage Build Status

Unary natural numbers relying on the singletons infrastructure.

Changes

0.4.1 [2018.05.02]

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

0.4.0.4 [2018.01.09]

  • Allow singletons-2.4.

0.4.0.3 [2017.11.03]

  • Allow singletons-2.3.
Depends on 2 packages:
Used by 2 packages:
comments powered byDisqus