peano

Peano numbers

Version on this page:0.1.0.1@rev:2
LTS Haskell 24.18:0.1.0.3
Stackage Nightly 2025-11-04:0.1.0.3
Latest on Hackage:0.1.0.3

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 1 package in lts-14.13(full list with versions):
natural-induction