The latest version of nat is 0.3-0.
nat
Version 0.2 revision 1 uploaded by HerbertValerioRiedel.
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
- Andres Loeh, Frank Huch, Jan Christiansen
- Bug reports
- n/a
- Category
- Data, Math
- Copyright
- n/a
- Homepage
- http://www-ps.informatik.uni-kiel.de/currywiki/tools/strictcheck
- Maintainer
- Jan Christiansen <jac@informatik.uni-kiel.de>
- Package URL
- n/a
- Stability
- alpha