@hackage lean-peano1.0.0.0

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

Categories
- Mathematics
License
MIT
Maintainer
mail@doisinkidney.com
Links
Versions
- 1.0.2.0 Sat, 2 May 2020
- 1.0.1.0 Tue, 3 Mar 2020
- 1.0.0.0 Mon, 2 Mar 2020
- 0.1.1.0 Wed, 26 Feb 2020
- 0.1.0.1 Sat, 22 Feb 2020
- 0.1.0.0 Sat, 22 Feb 2020

Installation
Custom
In your cabal file:
Dependencies (2)
- base >=4.10.0.0 && <5
- deepseq >=1.1.0.0
Dependents (0)

lean-peano

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