Data

Tools

Indexes

Applications

Experiments

Packages

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

eliminators

This library provides eliminators for inductive data types, leveraging the power of the singletons library to allow dependently typed elimination.

Ecosystem
hackage.haskell.org
Latest Release
0.9.7
about 2 months ago
Versions
18
Downloads
6,711 total
Dependent Repos
7
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/eliminators
    spec
    License BSD-3-Clause
    First Release over 8 years ago
    Last Synced 24 days ago
    Keywords
    bsd3 dependent-types library Propose Tags
    Repository
    Stars 28 on GitHub
    Forks 0 on GitHub
    Commits 146
    Committers 2
    Avg per Author 73.0
    DDS 0.007
    commits.ecosyste.ms
    repos.ecosyste.ms