singleton-nats
Unary natural numbers relying on the singletons infrastructure.
https://github.com/AndrasKovacs/singleton-nats
| Version on this page: | 0.4.3 |
| LTS Haskell 20.23: | 0.4.6@rev:2 |
| Stackage Nightly 2023-05-31: | 0.4.6@rev:2 |
| Latest on Hackage: | 0.4.6@rev:2 |
Maintained by puttamalac@gmail.com
This version can be pinned in stack with:
singleton-nats-0.4.3@sha256:121bdd4c644846b7ea3b8cb845ecd33866b3ade20c6d916f3bd764f7d9b0cf58,1293Module documentation for 0.4.3
- Data
Depends on 2 packages(full list with versions):
Used by 1 package in lts-14.27(full list with versions):
singleton-nats
Unary natural numbers relying on the singletons infrastructure.