@hackage agda2hs1.0

Compiling Agda code to readable Haskell.

Categories
- Language
- Compilers and Interpreters
License
BSD-3-Clause
Maintainer
jesper@sikanda.be
Links
Versions
- 1.2 Mon, 11 Dec 2023
- 1.1 Mon, 23 Oct 2023
- 1.0 Fri, 7 Apr 2023

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.

Installation
In your cabal file:
Dependencies (0)
- 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
- mtl >=2.2
Dependents (0)

@hackage agda2hs1.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)