@hackage peano-inf0.5

Lazy Peano numbers including observable infinity value.

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

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

    • Links

    • Versions

    Lazy Peano numbers including observable infinity value.

    This data type was needed in a graph traversing algorithm.

    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/