singleton-nats (hackage): Unary natural number relying on the singletons infrastructure. More information about the general usage of singletons can be found on the singletons github page.
Keywords: bsd3|data|dependent-types|library