singleton-nats
Unary natural numbers relying on the singletons infrastructure.
https://github.com/AndrasKovacs/singleton-nats
Version on this page: | 0.4.6 |
LTS Haskell 22.23: | 0.4.7@rev:1 |
Stackage Nightly 2024-05-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:1789c6c477a8af75fee3747e432377cce0352ba8faec9cd88b04a7fa0c3678bc,1575
Module documentation for 0.4.6
- Data
Depends on 3 packages(full list with versions):
Used by 1 package in nightly-2021-08-13(full list with versions):