@hackage natural-induction0.1.0.1

Induction over natural numbers

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
strake888@gmail.com
Links
- Documentation
- No source repository
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 (0)
Dependents (4)
@hackage/Fin, @hackage/clist, @hackage/word, @hackage/permutations