@hackage twee dependencies

13 results

Concrete functor and monad transformers

Primitive memory-related operations

GHC primitives

Assorted concrete container types

Core data structures and operations

Pretty-printing library

Difference lists

Assorted concrete container types

Core data structures and operations

An equational theorem prover

Combinator library for splitting lists.

Pretty-printing library

A first-order reasoning toolbox