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.20: | 0.4.7 |
Stackage Nightly 2024-05-04: | 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.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-07-07(full list with versions):