@hackage / type-level-natural-number-operations

Basic operations on type-level natural numbers.

Latest1.0

Dependencies

library:type-level-natural-number-operations (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=3 && <5
- License: BSD-3-Clause
@hackage / type-level-natural-number Simple type level natural numbers
- Version: >=1.0 && <1.2
- License: BSD-3-Clause