@hackage/jukebox
A first-order reasoning toolbox
@hackage/base
Core data structures and operations
@hackage/split
Combinator library for splitting lists.
@hackage/twee-lib
An equational theorem prover
@hackage/containers
Assorted concrete container types
@hackage/pretty
Pretty-printing library