Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

lean-peano

Please see the README on GitHub at https://github.com/oisdk/lean-peano#readme

Ecosystem
hackage.haskell.org
Latest Release
1.0.2.0
almost 6 years ago
Versions
6
Downloads
1,648 total
Dependent Repos
1
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/lean-peano
    spec
    License MIT
    First Release about 6 years ago
    Last Synced 18 days ago
    Keywords
    library mit numeric Propose Tags
    Repository
    Stars 3 on GitHub
    Forks 0 on GitHub
    repos.ecosyste.ms