The nat package
Implementation of natural numbers and integers by a binary representation. All functions are supposed to be as non-strict as possible. Furthermore the implementation is supposed to be reasonable efficient (in comparison to peano numbers). This implementation is inspired by a similar approach in the functional logic programming language Curry.
|Versions||0.1, 0.2, 0.3|
|Maintainer||Jan Christiansen <email@example.com>|
|Source repository||git clone https://github.com/plancalculus/nat.git|
|Upload date||Mon Aug 13 11:51:30 UTC 2012|