natural-induction-0.1.1.0: Induction over natural numbers

Index

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