singleton-nats
Unary natural numbers relying on the singletons infrastructure.
https://github.com/AndrasKovacs/singleton-nats
Version on this page: | 0.4.2 |
LTS Haskell 22.21: | 0.4.7 |
Stackage Nightly 2024-05-11: | 0.4.7 |
Latest on Hackage: | 0.4.7@rev:1 |
Maintained by [email protected]
This version can be pinned in stack with:
singleton-nats-0.4.2@sha256:5d078c6648bf92a08f5c84cc783f8b45eab5ad3eda33a16948b7754332c86c25,1279
Module documentation for 0.4.2
- Data
- Data.Nat
Depends on 2 packages(full list with versions):
Used by 1 package in nightly-2018-12-06(full list with versions):