fast-nats-0.1.0.1: Natural Numbers with no overhead
fast-nats-0.1.0.1: Natural Numbers with no overhead
Dependent Singleton like natural numbers without the
Singleton dependency. The implementation uses inductive
naturals at the type level but machine integers at the term
level.