@hackage atp-haskell dependencies

13 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

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