Data

Tools

Indexes

Applications

Experiments

Packages

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

known-lists

A type-level lists library for easy proof-of-membership programming. Provides data structures for talking about members of a list, as well as subsets, maps, and traversals.

Ecosystem
hackage.haskell.org
Latest Release
0.1.0.0
about 1 month ago
Versions
1
Downloads
2 total
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/known-lists
    spec
    License BSD-3-Clause
    First Release about 1 month ago
    Last Synced 23 days ago
    Keywords
    bsd3 data-structures dependent-types library type-system Propose Tags