@hackage twee dependencies

11 results

Assorted concrete container types

Core data structures and operations

An equational theorem prover

A 'Symbol' type for fast symbol comparison.

Combinator library for splitting lists.

A first-order reasoning toolbox

Simple ANSI terminal support

Assorted concrete container types

Core data structures and operations

An equational theorem prover

Automatic testing of Haskell programs