@hackage agda2hs dependencies

14 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

Basic libraries

Support for parsing and rendering YAML documents.

Efficient hashing-based container types

Scrap Your Boilerplate

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

Fast JSON parsing and encoding

A dependently typed functional programming language and proof assistant