singleton-nats
Unary natural numbers relying on the singletons infrastructure.
https://github.com/AndrasKovacs/singleton-nats
LTS Haskell 22.43: | 0.4.7@rev:1 |
Stackage Nightly 2024-12-05: | 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.7@sha256:1a63ed9d9b3d0ed6343b5ada90576e721d4cc24d386e1e8496152ce9027c758a,1689
Module documentation for 0.4.7
- Data
Depends on 3 packages(full list with versions):
Used by 1 package in lts-22.40(full list with versions):