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.2

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.2
    spec
    Integrity sha256-b551c9b3b6fb6586f2ee...