Data

Tools

Indexes

Applications

Experiments

Packages

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

type-natural

Type-level well-kinded natural numbers.

Ecosystem
hackage.haskell.org
Latest Release
1.3.0.2
about 1 year ago
Versions
49
Downloads
29,639 total
Dependent Packages
2
Dependent Repos
14
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/type-natural
    spec
    License BSD-3-Clause
    First Release almost 13 years ago
    Last Synced 5 days ago
    Keywords
    bsd3 library math Propose Tags dependent-types ghc haskell proof-assistant type-level type-level-programming
    Repository
    Stars 34 on GitHub
    Forks 12 on GitHub
    Commits 273
    Committers 5
    Avg per Author 54.6
    DDS 0.275
    commits.ecosyste.ms
    repos.ecosyste.ms
    Rankings on hackage.haskell.org
    Downloads Top 5.1%
    Dependent packages Top 7.2%
    Funding
    https://github.com/sponsors/konn