type-level-natural-number-induction: 3 reverse dependencies
No version specified, so showing reverse dependencies for latest version.| Depend on the latest version | Depend on other versions | Total |
|---|---|---|
| 2 | 1 | 3 |
| Package name | Version | Reverse dependencies |
|---|---|---|
| natural-number | 1.0 | 2 (view) |
| tagged-list | 1.1 | 1 (view) |