@hackage lean-peano1.0.1.0

A maximally lazy, simple implementation of the Peano numbers with minimal dependencies

  • Installation

    Custom

  • Dependencies (2)

  • Dependents (0)

Hackage

lean-peano

Implementation of peano numbers (with all relevant instances) with minimal dependencies.