@hackage nat0.1

Lazy binary natural numbers

  • Categories

  • License

    BSD-3-Clause

  • Maintainer

    Jan Christiansen <jac@informatik.uni-kiel.de>

  • Links

  • Versions

    • 0.3 Mon, 13 Aug 2012
    • 0.2 Fri, 17 Nov 2017
    • 0.1 Fri, 17 Nov 2017

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.