Deprecated
natural-induction
Induction over natural numbers
LTS Haskell 22.36: | 0.2.0.0@rev:1 |
Stackage Nightly 2024-10-03: | 0.2.0.0@rev:1 |
Latest on Hackage: | 0.2.0.0@rev:1 |
Maintained by [email protected]
This version can be pinned in stack with:
natural-induction-0.2.0.0@sha256:c57efe84e8804093bb740ac824d0e5a4ba09015f16d3abaa8d3d93d29e975304,998
Module documentation for 0.2.0.0
- Data
- Data.Natural
Depends on 2 packages(full list with versions):