@hackage twee dependencies

7 results

executable:twee (7 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/twee-lib

An equational theorem prover

BSD-3-Clause==2.4.2

@hackage/symbol

A 'Symbol' type for fast symbol comparison.

@hackage/split

Combinator library for splitting lists.

@hackage/jukebox

A first-order reasoning toolbox

BSD-3-Clause>=0.5.4

@hackage/ansi-terminal

Simple ANSI terminal support

BSD-3-Clause>=0.9