@hackage agda2hs dependencies

10 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

Core data structures and operations

Efficient hashing-based container types

Scrap Your Boilerplate

A dependently typed functional programming language and proof assistant