@hackage atp-haskell dependencies

11 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

Extra functions I use.

Assorted concrete container types

Core data structures and operations

A time library

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