@hackage MiniAgda dependencies

7 results

executable:miniagda (7 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.0 && <2.1 || >=2.1.1 && <2.2

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.3 && <0.6

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.2 && <4.7

@haskell/array

Mutable and immutable arrays

BSD-3-Clause>=0.3 && <0.5

@hackage/pretty

Pretty-printing library

BSD-3-Clause>=1.0 && <1.2

@hackage/haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

BSD-3-Clause>=1.14 && <1.15

@hackage/IfElse

Anaphoric and miscellaneous useful control-flow

BSD-3-Clause>=0.85 && <2.0