@hackage / agda2hs

Compiling Agda code to readable Haskell.

Latest1.4

Dependencies

executable:agda2hs (16 dependencies)

@hackage / haskell-src-exts Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
- Version: >=1.23 && <1.25
- License: BSD-3-Clause
@hackage / deepseq Deep evaluation of data structures
- Version: >=1.4.4 && <1.6
- License: BSD-3-Clause
@hackage / monad-control Lift control operations, like exception catching, through monad transformers
- Version: >=1.0 && <1.1
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.13 && <4.22
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.4.1.0 && <1.6
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version: >=0.7.2 && <0.8
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2 && <2.3 || >=2.3.1 && <2.4
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=2.0.2 && <2.2
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.6 && <0.7
- License: BSD-3-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version: >=2.0.3 && <2.3
- License: BSD-3-Clause
@hackage / yaml Support for parsing and rendering YAML documents.
- Version: >=0.11 && <0.12
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6 && <0.9
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2.19 && <0.3
- License: BSD-3-Clause
@hackage / Agda A dependently typed functional programming language and proof assistant
- Version: >=2.8.0 && <2.9.0
- License: MIT
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.11.5 && <0.13
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2.6.2 && <1.4
- License: BSD-3-Clause