peano-inf-0.6.2: peano-inf.cabal
name: peano-inf
version: 0.6.2
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 and for serveral graph algroithms.
.
For a comparison with other Peano number implementations, 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,
containers,
lazysmallcheck
exposed-modules:
Number.Peano.Inf,
Number.Peano.Inf.Test,
Number.Peano.Inf.Functions