Unary natural numbers relying on the singletons infrastructure.

Unary natural number relying on the singletons infrastructure. More information about the general usage of singletons can be found on the singletons github page.

singleton-nats

Unary natural numbers relying on the singletons infrastructure.