@hackage uAgda dependencies

8 results

executable:uAgda (8 dependencies)

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/parsec

Monadic parser combinators

BSD-2-Clause>=2.1 && <2.2

@haskell/containers

Assorted concrete container types

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

@haskell/base

Core data structures and operations

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

@hackage/pretty

Pretty-printing library

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

@hackage/monads-fd

Monad classes, using functional dependencies

BSD-3-Clause>=0.1 && <0.2

@hackage/cmdargs

Command line argument processing

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

@hackage/BNFC-meta

Deriving Parsers and Quasi-Quoters from BNF Grammars

GPL-2.0-only>=0.1 && <0.2