Package0.1.1.0DataMath
peano
Peano numbers
- Version0.1.1.0
- CategoryData, Math
- LicenceBSD-3-Clause
- AuthorM Farkas-Dyck, Andreas Abel
- MaintainerAndreas Abel
- Pinned byhackage peano 0.1.1.0
- Sourcehackage.haskell.org/package/peano-0.1.1.0
Modules
1 module- Data.Peano2See Peano.
Description
Lazy unary natural numbers.
Depends on
1 package- base-4.23.0.0with GHC