@hackage peano-inf0.6.5

Lazy Peano numbers including observable infinity value.

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      Péter Diviánszky <divip@aszt.inf.elte.hu>

    • Versions

    Lazy Peano numbers including observable infinity value.

    This data type is ideal for lazy list length computation and for serveral graph algorithms.

    For a comparison with other Peano number implementations, see http://people.inf.elte.hu/divip/peano/