Data

Tools

Indexes

Applications

Experiments

Packages

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

agda-language-server

Please see the README on GitHub at https://github.com/agda/agda-language-server#readme

Ecosystem
hackage.haskell.org
Latest Release
0.2.1
about 5 years ago
Versions
10
Downloads
1,159 total
Dependent Packages
1
Dependent Repos
1
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/agda-language-server
    spec
    License MIT
    First Release over 5 years ago
    Last Synced about 4 hours ago
    Keywords
    development library mit program Propose Tags agda agda-mode language-server-protocol
    Repository
    Stars 129 on GitHub
    Forks 22 on GitHub
    repos.ecosyste.ms
    Rankings on hackage.haskell.org
    Forks Top 9.8%