type-level-natural-number 2.0

6 Reverse deps Accepted versions
approximate-equality >=1.0 && <2.1
natural-number >=1.0 && <1.2
tagged-list >=1.0 && <1.2
type-level-natural-number-induction >=1.0 && <1.2
type-level-natural-number-operations >=1.0 && <1.2
variable-precision >=1 && <2