@hackage / lean-peano

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