@hackage agda2hs dependencies

13 results

An efficient packed Unicode text type.

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

Support for parsing and rendering YAML documents.

Efficient hashing-based container types

Scrap Your Boilerplate

Fast JSON parsing and encoding

A dependently typed functional programming language and proof assistant