Data

Tools

Indexes

Applications

Experiments

Packages

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

cubical

Cubical implements an experimental simple type checker for type theory with univalence with an evaluator for closed terms.

Ecosystem
hackage.haskell.org
Latest Release
0.2.0
almost 12 years ago
Versions
4
Downloads
3,530 total
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/cubical
    spec
    License MIT
    First Release about 12 years ago
    Last Synced 24 days ago
    Keywords
    dependent-types mit program Propose Tags
    Repository
    Stars 147 on GitHub
    Forks 10 on GitHub
    repos.ecosyste.ms