type-level-natural-number-induction 1.0.0.1

2 Reverse deps Accepted versions
natural-number >=1.0 && <1.1
tagged-list >=1.0 && <1.1