hackage.haskell.org : agda2hs
Produces verified and readable Haskell code by extracting it from a (lightly annotated) Agda program. The tool is implemented as an Agda backend, which means that agda2hs is a fully functional Agda compiler.
Registry
- JSON
- codemeta.json
purl: pkg:hackage/agda2hs
Keywords:
bsd3
, compiler
, language
, program
, Propose Tags
License: BSD-3-Clause
Latest release: 5 months ago
First release: almost 3 years ago
Downloads: 367 total
Last synced: 18 days ago
Loading...
Readme
Loading...