Deprecated

peano

Peano numbers

LTS Haskell 20.23:0.1.0.1@rev:3
Stackage Nightly 2023-06-04:0.1.0.1@rev:3
Latest on Hackage:0.1.0.1@rev:3

See all snapshots peano appears in

LicenseRef-OtherLicense licensed by M Farkas-Dyck
Maintained by strake888@gmail.com
This version can be pinned in stack with:peano-0.1.0.1@sha256:b648d67e88e9d87dc65e1640145d9be8ae9012a7a345f31800a351f36d138272,565

Module documentation for 0.1.0.1

Depends on 1 package(full list with versions):
base
Used by 1 package in nightly-2023-06-04(full list with versions):
natural-induction
A service provided by FP Complete