type-level-natural-number-induction
1.0.0.1
Only display out-of-date packages.
2 Reverse deps
Accepted versions
natural-number
>=1.0 && <1.1
tagged-list
>=1.0 && <1.1