@hackage peano0.1.0.0

Peano numbers

Categories
- Mathematics
License
LicenseRef-OtherLicense
Maintainer
strake888@gmail.com
Links
- Documentation
- No source repository
- Security
Versions
- 0.1.1.0 Tue, 6 Jan 2026
- 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:
Dependencies (1)
- base >=4.7 && <5
Dependents (13)
@hackage/Fin, @hackage/clist, @hackage/VecN, @hackage/rv, @hackage/natural-induction, @hackage/Agda, Show all…