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