@hackage / lean-peano

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

1.0.2.0

Security Advisories

No advisories found.