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 <jac@informatik.uni-kiel.de>
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