Induction over natural numbers

Version on this page:
LTS Haskell 15.0:
Stackage Nightly 2020-02-21:
Latest on Hackage:

See all snapshots natural-induction appears in

BSD-3-Clause licensed by M Farkas-Dyck
Maintained by

Module documentation for

This version can be pinned in stack with:natural-induction-,853
Depends on 2 packages(full list with versions):
comments powered byDisqus