peano

Peano numbers

Version on this page:0.1.0.1@rev:2
LTS Haskell 22.43:0.1.0.2
Stackage Nightly 2024-12-04: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:132eb909b1214d16c94a3a4b3bf27abbf5e0f6c21022261ed3d3597a98dc6081,474

Module documentation for 0.1.0.1

Depends on 1 package(full list with versions):
base
Used by 2 packages in lts-12.14(full list with versions):
Fin, natural-induction