The Peano package
Peano numbers without extra fluff, mainly for type level computations in promoted form
Properties
| Versions | 0.0.1, 0.0.2, 0.0.3, 0.0.4 |
|---|---|
| Dependencies | base (<5) |
| License | BSD3 |
| Author | Andras Slemmer, Francesco Mazzoli |
| Maintainer | 0slemi0@gmail.com |
| Category | Data |
| Upload date | Thu Mar 8 16:37:58 UTC 2012 |
| Uploaded by | FrancescoMazzoli |
| Built on | ghc-7.4 |
Modules
- Data
Downloads
- Peano-0.0.3.tar.gz (Cabal source package)
- package description (included in the package)