Type-level well-kinded peano natural numbers and singletons with proofs of their properties.
konn / type-natural Goto Github PK
View Code? Open in Web Editor NEWType-level well-kinded natural numbers.
License: BSD 3-Clause "New" or "Revised" License