@hackage / singleton-nats

Unary natural numbers relying on the singletons infrastructure.

Latest0.4.7

Dependencies

library:singleton-nats (3 dependencies)

@hackage / singletons Basic singleton types and definitions
- Version: >=2.2 && <2.8
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.8.1.0 && <5
- License: BSD-3-Clause
@hackage / singletons-base A promoted and singled version of the base library
- Version: >=3.0 && <3.6
- License: BSD-3-Clause