Data

Tools

Indexes

Applications

Experiments

Packages

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

typerbole

Please see README.md

Ecosystem
hackage.haskell.org
Latest Release
0.0.0.5
over 9 years ago
Versions
5
Downloads
2,250 total
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/typerbole
    spec
    License BSD-3-Clause
    First Release over 9 years ago
    Last Synced 19 days ago
    Keywords
    ast bsd3 educational lambda-cube library type-theory typechecking typesystems Propose Tags lambda-calculus typesystem
    Repository
    Stars 4 on GitHub
    Forks 0 on GitHub
    repos.ecosyste.ms