@hackage / natural-induction

Induction over natural numbers

Deprecated package0.2.0.0

Dependents

@hackage / Fin Finite totally-ordered sets
- Version: 0.2.9.0
- Last uploaded: 6 years ago
- License: BSD-3-Clause
@hackage / clist Counted list
- Version: 0.3.0.1
- Last uploaded: 6 years ago
- License: LicenseRef-OtherLicense
@hackage / permutations Permutations of finite sets
- Version: 0.1.0.0
- Last uploaded: 6 years ago
- License: BSD-3-Clause
@hackage / word Words of arbitrary size
- Version: 0.1.0.1
- Last uploaded: 6 years ago
- License: BSD-3-Clause