@hackage / singleton-nats

Unary natural numbers relying on the singletons infrastructure.

0.4.7

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / eliminators Dependently typed elimination functions using singletons
- Version: 0.9.7
- Last uploaded: 5 months ago
- License: BSD-3-Clause