@hackage agda2train dependencies

14 results

Monad classes for transformers, using functional dependencies

Library for manipulating FilePaths in a cross platform way.

Platform-agnostic library for filesystem operations

Deep evaluation of data structures

Assorted concrete container types

Fast, compact, strict and lazy byte strings with a list interface

Core data structures and operations

Efficient hashing-based container types

Pretty-printing library

Use Template Haskell to embed file contents directly.

Run IO operations asynchronously and wait for their results

JSON pretty-printing library and command-line tool.

Fast JSON parsing and encoding

A dependently typed functional programming language and proof assistant