natural-induction-0.2.0.0: Induction over natural numbers

Index

iterateData.Natural.Class
NaturalData.Natural.Class
naturalData.Natural.Class
reifyData.Natural.Class