Description
A Haskell library providing Nat and Fin types for Peano naturals and finite numbers. It helps represent numbers and indexes with stronger type-level guarantees about bounds.
Developers use it in dependently typed patterns, vectors, proofs, and APIs where out-of-range values should be prevented by construction. The extra type safety is most useful in libraries that justify the added complexity.