name:           peano-inf
version:        0.6.1
synopsis:       Lazy Peano numbers including observable infinity value.
description:    
    Lazy Peano numbers including observable infinity value.
    .
    This data type is ideal for lazy list length computation (the infinite value is not needed in this case).
    For a comparison with other Peano number implementation, see <http://people.inf.elte.hu/divip/peano/>
category:       Data
author:         Péter Diviánszky <divip@aszt.inf.elte.hu>
maintainer:     Péter Diviánszky <divip@aszt.inf.elte.hu>
copyright:      (c) 2008 by Péter Diviánszky
license:        BSD3
license-file:   LICENSE
stability:      experimental
build-type:     Simple
cabal-version:  >=1.2

library
    ghc-options:    -Wall -fno-warn-overlapping-patterns -fno-warn-incomplete-patterns
    build-depends:
        base,
        lazysmallcheck

    exposed-modules:
        Number.Peano.Inf,
        Number.Peano.Inf.Test,
        Number.Peano.Inf.Functions