peano-0.1.1.0: Peano numbers
Contents
Index
peano-0.1.1.0: Peano numbers
Lazy unary natural numbers.
Modules
peano-0.1.1.0
Data
Submodules
Data.Peano