@hackage uAgda dependencies

10 results

Concrete functor and monad transformers

Monadic parser combinators

Monad classes for transformers, using functional dependencies

Assorted concrete container types

Core data structures and operations

Mutable and immutable arrays

Combinator library for splitting lists.

Pretty-printing library

Command line argument processing

Deriving Parsers and Quasi-Quoters from BNF Grammars