@hackage MiniAgda dependencies

12 results

Concrete functor and monad transformers

Monad classes for transformers, using functional dependencies

Assorted concrete container types

Core data structures and operations

Mutable and immutable arrays

QuasiQuoter for non-interpolated strings, texts and bytestrings.

Pretty-printing library

Utilities and combinators for parsing command line options

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

A toy dependently typed programming language with type-based termination.

Process libraries

Core data structures and operations