@hackage MiniAgda dependencies

9 results

executable:miniagda (7 dependencies)

@haskell/transformers

Concrete functor and monad transformers

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/containers

Assorted concrete container types

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

@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.21 && <1.22

test:test (2 dependencies)

@haskell/process

Process libraries

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.11