Description
Provides Peano numbers for Haskell. Peano numbers represent natural numbers through a zero value and repeated successors, which is useful in type-level programming and formal examples.
It is useful for teaching, proofs, type-level experiments, and libraries that need a simple structural representation of natural numbers. It is a developer library and has no standalone interface.