@hackage singleton-nats0.4.2

Unary natural numbers relying on the singletons infrastructure.

singleton-nats

Hackage Build Status

Unary natural numbers relying on the singletons infrastructure.