nat
Version 0.3 revision 0 uploaded by JanChristiansen.
Package meta
- Synopsis
- Lazy binary natural numbers
- Description
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.
- Author
- Jan Christiansen
- Bug reports
- https://github.com/plancalculus/nat/issues
- Category
- Data, Math
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Jan Christiansen <info@monoid-it.de>
- Package URL
- n/a
- Stability
- alpha