type-level-natural-number-induction
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 1.0.0.1 | 2012-07-23 03:21 UTC | GregoryCrosswhite | +11/−11 lines, 1 filesdep ~transformersPVP ok | |
| 1.0 | 2010-10-14 01:32 UTC | GregoryCrosswhite | +269/−0 lines, 4 filesdep +basedep +transformersdep +type-level-natural-numbersetup-changed |
Dependencies of type-level-natural-number-induction-1.0.0.1
base >=3 && <5 4.21.2.0 → 4.22.0.0
| 2025-12-19 11:52 UTC | 4.22.0.0 | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
transformers >=0.2 && <0.4 0.3.0.0 → 0.6.3.0 newer than bounds
| 2026-01-12 12:42 UTC | 0.6.3.0 newer than bounds | +28/−1 lines, 4 filesPVP: major bump suggested |
| 2025-04-06 22:39 UTC | 0.6.2.0 newer than bounds | +41/−42 lines, 8 filesdep ~ghc-primPVP: major bump suggested |
| 2024-09-25 11:37 UTC | 0.6.1.2 newer than bounds | +70/−21 lines, 19 filesPVP: minor bump suggested |
| 2023-08-01 19:13 UTC | 0.6.1.1 newer than bounds | +281/−42 lines, 11 filesPVP ok |
| 2023-02-04 08:15 UTC | 0.6.1.0 newer than bounds | +64/−4 lines, 8 filesPVP ok |
showing 5 of 42 versions
type-level-natural-number >=1.0 && <1.2 1.1.1 → 2.0 newer than bounds
| 2014-03-30 18:38 UTC | 2.0 newer than bounds | +15/−14 lines, 2 files |
| 2012-11-06 04:37 UTC | 1.1.1 | +27/−5 lines, 3 filesPVP ok |
| 2010-10-14 01:22 UTC | 1.1 | +21/−10 lines, 3 filesPVP ok |
| 2010-07-30 20:03 UTC | 1.0 | +148/−0 lines, 4 filesdep +basesetup-changed |
Reverse dependencies
2 packages depend on type-level-natural-number-induction