@hackage / uAgda

A simplistic dependently-typed language with parametricity.

Latest1.2.0.4

Dependencies

executable:uAgda (10 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / BNFC-meta Deriving Parsers and Quasi-Quoters from BNF Grammars
- Version: >=0.2 && <0.3
- License: GPL-2.0-only
@hackage / cmdargs Command line argument processing
- Version: >=0.6 && <0.7
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.3 && <0.4
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.0 && <2.1
- License: BSD-3-Clause
@hackage / split Combinator library for splitting lists.
- Version: >=0.1 && <0.2
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4 && <0.5
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=2.1 && <2.2
- License: BSD-2-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.1 && <1.2
- License: BSD-3-Clause