Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : peano
Lazy unary natural numbers.
Registry
- JSON
purl: pkg:hackage/peano
Keywords: bsd3, data, library, math
License: BSD-3-Clause
Latest release: 7 months ago
First release: about 9 years ago
Dependent packages: 1
Dependent repositories: 9
Downloads: 3,761 total
Last synced: 1 day ago
Top 4.2% on hackage.haskell.org
42 versions - Latest release: 8 months ago - 6 dependent packages - 61 dependent repositories - 60.6 thousand downloads total - 4 maintainers
Agda 2.6.4
Agda is a dependently typed functional programming language: It has inductive families, which are...42 versions - Latest release: 8 months ago - 6 dependent packages - 61 dependent repositories - 60.6 thousand downloads total - 4 maintainers