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 - Sourcepeano-0.
1. 1. 0 on Hackage
Modules
- Data.PeanoSee Peano.
Description
Lazy unary natural numbers.
Depends on
1 package- base-4.22.0.0with GHC