[![Hackage](https://img.shields.io/hackage/v/lean-peano.svg)](https://hackage.haskell.org/package/lean-peano)

# lean-peano

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