agda2hs: Compiling Agda code to readable Haskell.
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.
[Skip to Readme]
Downloads
- agda2hs-1.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 1.0, 1.1, 1.2, 1.3 |
---|---|
Change log | CHANGELOG.md |
Dependencies | aeson (>=2.0.3 && <2.3), Agda (>=2.7.0 && <2.8.0), base (>=4.13 && <4.21), bytestring (>=0.11.5 && <0.13), containers (>=0.6 && <0.8), deepseq (>=1.4.4 && <1.6), directory (>=1.2.6.2 && <1.4), filepath (>=1.4.1.0 && <1.5), haskell-src-exts (>=1.23 && <1.25), monad-control (>=1.0 && <1.1), mtl (>=2.2 && <2.3 || >=2.3.1 && <2.4), syb (>=0.7.2 && <0.8), text (>=2.0.2 && <2.2), transformers (>=0.6 && <0.7), unordered-containers (>=0.2.19 && <0.3), yaml (>=0.11 && <0.12) [details] |
License | BSD-3-Clause |
Copyright | 2024 Ulf Norell, Jesper Cockx, Orestis Melkonian, Sára Juhošová, James Chapman, Lucas Escot, Henry Blanchette, Viktor Csimma, Aleksander Wolska, Paul Bittner, Andreas Källberg, Bohdan Liesnikov, and Jakob Naucke |
Author | Ulf Norell, Jesper Cockx, Orestis Melkonian, Sára Juhošová, James Chapman, Lucas Escot, Henry Blanchette, Viktor Csimma, Aleksander Wolska, Paul Bittner, Andreas Källberg, Bohdan Liesnikov, and Jakob Naucke |
Maintainer | jesper@sikanda.be |
Category | Language, Compiler |
Source repo | head: git clone https://github.com/agda/agda2hs.git |
Uploaded | by jcockx at 2024-10-04T12:13:44Z |
Distributions | |
Executables | agda2hs |
Downloads | 239 total (20 in the last 30 days) |
Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] Last success reported on 2024-10-04 [all 1 reports] |