Name: nat
Version: 0.2
x-revision: 1
stability: alpha
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.
Synopsis: Lazy binary natural numbers
License: BSD3
Author: Andres Loeh, Frank Huch, Jan Christiansen
Maintainer: Jan Christiansen
homepage: http://www-ps.informatik.uni-kiel.de/currywiki/tools/strictcheck
Category: Data, Math
Build-Depends: base < 4.5
Exposed-modules: Data.Number.Nat Data.Number.Nat1 Data.Number.Int
ghc-options: -Wall
build-type: Simple
extra-source-files: Tests.hs