/singleton-nats

Unary natural numbers relying on the singletons infrastructure

Primary LanguageHaskellOtherNOASSERTION

Issues