@hackage natural-induction0.2.0.0

Induction over natural numbers

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
strake888@gmail.com
Links
Versions
- 0.2.0.0 Tue, 11 Feb 2020
- 0.1.1.0 Thu, 14 Dec 2017
- 0.1.0.1 Thu, 14 Dec 2017
- 0.1.0.0 Thu, 14 Dec 2017

Deprecated
This package has been deprecated
Dependencies (2)
- base >=4.9 && <5
- peano >=0.1 && <0.2
Dependents (4)
@hackage/Fin, @hackage/clist, @hackage/word, @hackage/permutations