singleton-nats

Unary natural numbers relying on the singletons infrastructure.

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

Version on this page:0.4.0.4
LTS Haskell 22.14:0.4.7
Stackage Nightly 2024-03-28:0.4.7
Latest on Hackage:0.4.7

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.4@sha256:14d3e0d3b41bbe7e4c4bbeb13ee9fd90461f9e332ce5037f42802b460dd7f402,1158

Module documentation for 0.4.0.4

Depends on 2 packages(full list with versions):
Used by 1 package in nightly-2018-04-04(full list with versions):

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