@hackage atp-haskell dependencies

15 results

Support library for Template Haskell

Monadic parser combinators

Monad classes for transformers, using functional dependencies

Assorted concrete container types

Core data structures and operations

A time library

Pretty-printing library

Extra functions I use.

Instances for Applicative

A unit testing framework for Haskell

Assorted concrete container types

Core data structures and operations

A time library

Translation from Ocaml to Haskell of John Harrison's ATP code

A unit testing framework for Haskell