The numericpeano package

[maintain]

Value-level lazy Peano numbers for all your proof-theoretic and infinity-related needs. The features are: 1) natural and integral numbers (N and Z); 2) lazy infinities; and 3) instances for all relevant typeclasses, meaning that Peano arithmetic can be used in generic functions without extra hassle. The implementation is naive: a number of magnitude n may consume O(n) bytes of memory.


[Skip to ReadMe]

Properties

Versions0.1.0.0, 0.2.0.0, 0.2.0.0
Dependenciesbase (>=4.7 && <=5.0) [details]
LicenseApache-2.0
AuthorJanos Tapolczai
Maintainerjanos.tapolczai@gmail.com
CategoryMath
Home pagehttps://github.com/ombocomp/numericpeano/
UploadedMon Dec 29 01:17:56 UTC 2014 by jtapolczai

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for numericpeano-0.2.0.0

numericpeano ============ Peano numbers with the expected bells and whistles. The implementation is naive (the memory footprint of a number n is O(n) bytes). Features: