/type-unary

Type-level and typed unary natural numbers, vectors, inequality proofs

Primary LanguageHaskellOtherNOASSERTION

Simple, type-level natural numbers.

There are probably many of these packages. Perhaps consolidate. This one is extracted from Shady.