@hackage singleton-nats0.4.6

Unary natural numbers relying on the singletons infrastructure.

singleton-nats

Hackage Build Status

Unary natural numbers relying on the singletons infrastructure.