singleton-nats
Unary natural numbers relying on the singletons infrastructure.
https://github.com/AndrasKovacs/singleton-nats
LTS Haskell 20.10: | 0.4.6@rev:1 |
Stackage Nightly 2023-02-06: | 0.4.6@rev:1 |
Latest on Hackage: | 0.4.6@rev:1 |
Maintained by puttamalac@gmail.com
This version can be pinned in stack with:
singleton-nats-0.4.6@sha256:f27a58b07ce7636bf0e8a3213b2dbc7144db76cadd61c4ac02a8265aee20f575,1633
Module documentation for 0.4.6
- Data
Depends on 3 packages(full list with versions):
Used by 1 package in lts-20.3(full list with versions):