natural-induction

Induction over natural numbers

Version on this page:0.2.0.0
LTS Haskell 12.22:0.2.0.0
Stackage Nightly 2018-12-12:0.2.0.0
Latest on Hackage:0.2.0.0

See all snapshots natural-induction appears in

BSD3 licensed by M Farkas-Dyck
Maintained by strake888@gmail.com

Module documentation for 0.2.0.0

Depends on 2 packages:
Used by 4 packages:
comments powered byDisqus