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