Data

Tools

Indexes

Applications

Experiments

Packages

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

agda2lagda

Simple command line tool to convert plain Agda or Haskell files into literate files. Line comments are interpreted as text, the rest as code blocks.

Ecosystem
hackage.haskell.org
Latest Release
0.2025.9.5
6 months ago
Versions
6
Downloads
1,100 total
Dependent Repos
7
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/agda2lagda
    spec
    License Other
    First Release over 5 years ago
    Last Synced 12 days ago
    Keywords
    dependent-types development program Propose Tags agda command-line-tool latex literate-programming
    Repository
    Stars 14 on GitHub
    Forks 0 on GitHub
    Commits 77
    Committers 1
    Avg per Author 77.0
    DDS 0.0
    commits.ecosyste.ms
    repos.ecosyste.ms