Data

Tools

Indexes

Applications

Experiments

Packages

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

@codewars/codemirror-agda

CodeMirror extension for editing Agda

Ecosystem
npmjs.org
Latest Release
0.2.0
almost 5 years ago
Versions
2
Downloads
63 last month
Dependent Packages
1
    Loading...
    Readme
    Loading...
    Links
    Registry npmjs.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:npm/%40codewars/codemirror-agda
    spec
    License MIT
    Namespace codewars
    First Release almost 6 years ago
    Last Synced about 4 hours ago
    Keywords
    agda codemirror
    Repository
    Stars 6 on GitHub
    Forks 3 on GitHub
    repos.ecosyste.ms