@hackage peano0.1.0.3

Peano numbers

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Andreas Abel
Links
Versions
- 0.1.0.3 Tue, 2 Sep 2025
- 0.1.0.2 Mon, 23 Oct 2023
- 0.1.0.1 Tue, 11 Feb 2020
- 0.1.0.0 Fri, 4 Aug 2017

Installation
In your cabal file:
Tested Compilers
- 9.10.2
- 9.8.4
- 9.6.7
- 9.4.8
- 9.2.8
- 9.0.2
- 8.10.7
- 8.8.4
- 8.6.5
- 8.4.4
- 8.2.2
- 8.0.2
Dependencies (1)
- base >=4.9 && <5
Dependents (13)
@hackage/Fin, @hackage/clist, @hackage/VecN, @hackage/rv, @hackage/natural-induction, @hackage/Agda, Show all…

Lazy unary natural numbers.