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-equality

Haskell definition of type equality, coercion/cast and other operations.

Ecosystem
hackage.haskell.org
Latest Release
1.0.1
almost 2 years ago
Versions
7
Downloads
29,400 total
Dependent Packages
5
Dependent Repos
17
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/type-equality
    spec
    License BSD-3-Clause
    First Release over 16 years ago
    Last Synced 19 days ago
    Keywords
    bsd3 data dependent-types library Propose Tags
    Repository
    Stars 11 on GitHub
    Forks 4 on GitHub
    Commits 42
    Committers 6
    Avg per Author 7.0
    DDS 0.619
    commits.ecosyste.ms
    repos.ecosyste.ms
    Rankings on hackage.haskell.org
    Downloads Top 5.2%
    Dependent packages Top 3.9%