binint-0.0.1 ------------ Version 0.0.1 Author Brassel/Fischer/Huch Maintainer Michael Hanus Synopsis Libraries with a binary representation of natural and integers Category Data Numeric Dependencies Compiler compatibility pakcs >= 1.14.0, < 2.0.0 kics2 >= 0.5.0, < 2.0.0 Description This package contains libraries with data types for a binary representation of natural and integer numbers. The advantage of this algebraic definition in contrast to built-in integers is the possibility to use them also for narrowing, i.e., functional logic programming. Since the operations are also quite efficient compared to a simple Peano representations, this library is also the basis of the implementation of integers in the Curry implementation KiCS2. Exported modules BinInt ConvertBinInt Test suite Directory test Test modules TestBinInt Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/binint.git@v0.0.1