@hackage Peano0.0.4

simple Peano numbers

Categories
License
BSD-3-Clause
Maintainer
0slemi0@gmail.com
Lottery factor: 0
Links
- Documentation
- No source repository
- Security
Versions
- 0.0.4 Thu, 8 Mar 2012
- 0.0.3 Thu, 8 Mar 2012
- 0.0.2 Sat, 3 Mar 2012
- 0.0.1 Sat, 3 Mar 2012

Peano numbers without extra fluff, mainly for type level computations in promoted form