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
purl: pkg:hackage/agda2hs
Keywords:
bsd3
, compiler
, language
, program
, Propose Tags
License: BSD-3-Clause
Latest release: 10 months ago
First release: over 2 years ago
Downloads: 309 total
Last synced: 9 days ago