packages feed

natural-induction

view on Hackage

versionuploadeduploaderchanges
0.2.0.02017-12-14 06:27 UTCMatthewFarkasDyck1 revisions+8/−4 lines, 2 files
0.1.1.02017-12-14 06:01 UTCMatthewFarkasDyck+21/−1 lines, 2 files
0.1.0.12017-12-14 05:14 UTCMatthewFarkasDyck+2/−13 lines, 2 files
0.1.0.02017-12-14 03:11 UTCMatthewFarkasDyck+68/−0 lines, 4 filesdep +basedep +peanosetup-changed

Dependencies of natural-induction-0.2.0.0

base >=4.9 && <5 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

peano >=0.1 && <0.2 0.1.0.3 → 0.1.1.0
2026-01-06 08:07 UTC0.1.1.0+13/−4 lines, 3 files
2025-09-02 06:32 UTC0.1.0.3+17/−6 lines, 3 files
2023-10-23 09:30 UTC0.1.0.2+163/−30 lines, 7 filesdep +peanodep +tasty-benchdep ~basesetup-changednew-uploader
2015-03-27 05:47 UTC0.1.0.1+2/−2 lines, 1 files
2015-03-27 05:42 UTC0.1.0.0+86/−0 lines, 4 filesdep +basesetup-changed

Reverse dependencies

4 packages depend on natural-induction

clist 0.3.0.1 requires natural-induction >=0.2 && <0.3
Fin 0.2.9.0 requires natural-induction >=0.2 && <0.3
permutations 0.1.0.0 requires natural-induction >=0.2 && <0.3
word 0.1.0.1 requires natural-induction >=0.2 && <0.3