Data

Tools

Indexes

Applications

Experiments

Packages

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

hoq

Package maintainers For package maintainers and hackage trustees Candidates A language based on homotopy type theory with an interval

Ecosystem
hackage.haskell.org
Latest Release
0.3
over 11 years ago
Versions
3
Downloads
2,531 total
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/hoq
    spec
    License GPL-2.0-only
    First Release almost 12 years ago
    Last Synced about 1 month ago
    Keywords
    dependent-types gpl program Propose Tags
    Repository
    Stars 83 on GitHub
    Forks 4 on GitHub
    repos.ecosyste.ms