@hackage agda2hs dependencies

11 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

Basic libraries

Efficient hashing-based container types

Scrap Your Boilerplate

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

A dependently typed functional programming language and proof assistant