Name: nat
Version: 0.1
Description: 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.
Synopsis: Lazy binary natural numbers
License: BSD3
Author: Andres Löh, Frank Huch, Jan Christiansen
Maintainer: Jan Christiansen
Category: Data, Math
Build-Depends: base
Exposed-modules: Data.Number.Nat Data.Number.NatO Data.Number.Int
ghc-options: -Wall
build-type: Simple
extra-source-files: Tests.hs