@hackage singleton-nats0.4.4

Unary natural numbers relying on the singletons infrastructure.

singleton-nats

Hackage Build Status

Unary natural numbers relying on the singletons infrastructure.