@hackage agda2hs1.0

Compiling Agda code to readable Haskell.

Categories
- Compilers and Interpreters
License
BSD-3-Clause
Maintainer
jesper@sikanda.be
Links
Versions
- 1.4 Tue, 9 Sep 2025
- 1.3 Fri, 4 Oct 2024
- 1.2 Mon, 11 Dec 2023
- 1.1 Mon, 23 Oct 2023
- 1.0 Fri, 7 Apr 2023

Installation
In your cabal file:
Dependencies (0)
- Agda >=2.6.3 && <2.6.4
- base >=4.10 && <4.18
- containers >=0.6 && <0.7
- deepseq >=1.4.1.1
- directory >=1.2.6.2 && <1.4
- filepath >=1.4.1.0 && <1.5
Dependents (0)

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.

@hackage agda2hs1.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)