Deprecated

natural-induction

Induction over natural numbers

Version on this page:0.2.0.0
LTS Haskell 22.34:0.2.0.0@rev:1
Stackage Nightly 2024-09-10:0.2.0.0@rev:1
Latest on Hackage:0.2.0.0@rev:1

See all snapshots natural-induction appears in

BSD-3-Clause licensed by M Farkas-Dyck
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

Depends on 2 packages(full list with versions):
base, peano
Used by 1 package in lts-12.14(full list with versions):
Fin