singleton-nats
Unary natural numbers relying on the singletons infrastructure.
https://github.com/AndrasKovacs/singleton-nats
Version on this page: | 0.4.6@rev:2 |
LTS Haskell 22.39: | 0.4.7@rev:1 |
Stackage Nightly 2024-10-31: | 0.4.7@rev:1 |
Latest on Hackage: | 0.4.7@rev:1 |
Maintained by [email protected]
This version can be pinned in stack with:
singleton-nats-0.4.6@sha256:4da245749d653bf3eb967837eccbc3a2e755389244b14d5eb8e6009954ef8f10,1633
Module documentation for 0.4.6
- Data
Depends on 3 packages(full list with versions):
Used by 1 package in lts-21.11(full list with versions):