@hackage MiniAgda dependencies

6 results

executable:miniagda (6 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.2 && <2.3

@haskell/containers

Assorted concrete container types

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

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.6 && <5

@haskell/array

Mutable and immutable arrays

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

@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.20 && <2.0