singleton-nats
Unary natural numbers relying on the singletons infrastructure.
https://github.com/AndrasKovacs/singleton-nats
Version on this page: | 0.4.4 |
LTS Haskell 22.21: | 0.4.7 |
Stackage Nightly 2024-05-06: | 0.4.7 |
Latest on Hackage: | 0.4.7 |
Maintained by [email protected]
This version can be pinned in stack with:
singleton-nats-0.4.4@sha256:3aeae41a07316877a623042093c1d83ef337ee79f21dbd11daa540b38c7aec7d,1308
Module documentation for 0.4.4
- Data
Depends on 2 packages(full list with versions):
Used by 1 package in nightly-2020-04-07(full list with versions):