singleton-nats
Unary natural numbers relying on the singletons infrastructure.
https://github.com/AndrasKovacs/singleton-nats
| Version on this page: | 0.4.1 |
| 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.1@sha256:b56f6f7a6c0a131607159bf956c5edd6aef7ce8b6318de88935d746c6fd254ec,1265Module documentation for 0.4.1
- Data
Depends on 2 packages(full list with versions):
Used by 1 package in lts-11.22(full list with versions):
singleton-nats
Unary natural numbers relying on the singletons infrastructure.