@hackage nanoAgda dependencies

8 results

executable:nanoAgda (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/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/containers

Assorted concrete container types

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

@haskell/base

Core data structures and operations

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

@hackage/pretty

Pretty-printing library

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

@hackage/cmdargs

Command line argument processing

BSD-3-Clause>=0.8 && <0.9

@hackage/BNFC-meta

Deriving Parsers and Quasi-Quoters from BNF Grammars

GPL-2.0-only>=0.3 && <0.4