The latest version of nat is 0.3-0.
nat
Version 0.1 revision 0 uploaded by JanChristiansen.
Package meta
- Synopsis
- Lazy binary natural numbers
- Description
Implementation of natural numbers and integers by a binary representation. The implementation is supposed to be lazy and reasonable efficient (in comparison to peano numbers). This implementation is inspired by a similar approach in the functional logic programming language Curry.
- Author
- Andres Löh, Frank Huch, Jan Christiansen
- Bug reports
- n/a
- Category
- Data, Math
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Jan Christiansen <jac@informatik.uni-kiel.de>
- Package URL
- n/a
- Stability
- n/a