@hackage / PeanoWitnesses

GADT type witnesses for Peano-style natural numbers.

Latest0.1.0.0

Dependencies

library:PeanoWitnesses (1 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.7 && <4.8
- License: BSD-3-Clause