singleton-nats
Unary natural numbers relying on the singletons infrastructure.
https://github.com/AndrasKovacs/singleton-nats
Version on this page: | 0.4.5 |
LTS Haskell 20.9: | 0.4.6@rev:1 |
Stackage Nightly 2023-02-04: | 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.5@sha256:eb88683e4b3529e240a9e0da0d837b995c7e0a2ee5c633d61788c46e37267ef2,1308
Module documentation for 0.4.5
- Data
Depends on 2 packages(full list with versions):
Used by 1 package in lts-16.31(full list with versions):