Deprecated
natural-induction
Induction over natural numbers
Version on this page: | 0.2.0.0 |
LTS Haskell 22.21: | 0.2.0.0@rev:1 |
Stackage Nightly 2024-05-11: | 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:e51041d3811a0151f404533749717cd69ccc31fcfbbadbf041fe786a9fc72a21,853
Module documentation for 0.2.0.0
- Data
- Data.Natural
Depends on 2 packages(full list with versions):
Used by 1 package in nightly-2018-05-18(full list with versions):