singleton-nats

Unary natural numbers relying on the singletons infrastructure.

https://github.com/AndrasKovacs/singleton-nats

Version on this page:0.4.0.3
LTS Haskell 23.21:0.4.7@rev:2
Stackage Nightly 2025-05-06:0.4.7@rev:2
Latest on Hackage:0.4.7@rev:2

See all snapshots singleton-nats appears in

BSD-3-Clause licensed by András Kovács
Maintained by [email protected]
This version can be pinned in stack with:singleton-nats-0.4.0.3@sha256:bb25c699fd7c6eeb7c1596e59ce6c84fb2b921beee9e2483e71dc0c2c8713ae8,1144

Module documentation for 0.4.0.3

Depends on 2 packages(full list with versions):
base, singletons
Used by 1 package in lts-10.1(full list with versions):
eliminators

Unary natural number relying on the singletons infrastructure. More information about the general usage of singletons can be found on the singletons github page.