@hackage atp-haskell dependencies

10 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

Assorted concrete container types

Core data structures and operations

A time library

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