Data

Tools

Indexes

Applications

Experiments

Packages

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

idris-python @ 0.25

Loader for a kind of Idris IR.

Published
Indexed
    Loading...
    Readme
    Loading...
    Links
    Registry pypi.org
    Docs Documentation
    Download Download
    JSON API View JSON
    CodeMeta codemeta.json
    Version Details
    PURL pkg:pypi/idris-python@0.25
    spec
    Integrity sha256-dd5b1d9a4fa571b4143d...