Index
iterate | Data.Natural.Class |
Natural | Data.Natural.Class |
natural | Data.Natural.Class |
reify | Data.Natural.Class |
natural-induction-0.2.0.0: Induction over natural numbers
Index
iterate | Data.Natural.Class |
Natural | Data.Natural.Class |
natural | Data.Natural.Class |
reify | Data.Natural.Class |