peano

Peano numbers

Version on this page:0.1.0.1@rev:3
LTS Haskell 22.37:0.1.0.2
Stackage Nightly 2024-10-08:0.1.0.2
Latest on Hackage:0.1.0.2

See all snapshots peano appears in

LicenseRef-OtherLicense licensed by M Farkas-Dyck
Maintained by [email protected]
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 lts-16.11(full list with versions):
natural-induction