@hackage singleton-nats0.4.7

Unary natural numbers relying on the singletons infrastructure.

Installation
In your cabal file:
Tested Compilers
- 9.8.1
- 9.6.3
- 9.4.7
- 9.2.8
- 9.0.2
- 8.10.7
- 8.8.4
- 8.6.5
- 8.4.4
- 8.2.2
- 8.0.2
Dependencies (3)
- base >=4.8.1.0 && <5
- singletons >=2.2 && <2.8
- singletons-base >=3.0 && <3.5
Dependents (2)
@hackage/acme-everything, @hackage/eliminators

singletons-3-0

(on by default)

Use singletons-3.0 or later.

singleton-nats

Unary natural numbers relying on the singletons infrastructure.