@hackage / atp-haskell

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

Latest1.14.3

Dependencies

library:atp-haskell (10 dependencies)

@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / applicative-extras Instances for Applicative
- Version:
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause
@hackage / extra Extra functions I use.
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.8 && <5
- License: BSD-3-Clause
@hackage / HUnit A unit testing framework for Haskell
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / time A time library
- Version:
- License: BSD-2-Clause
@hackage / parsec Monadic parser combinators
- Version:
- License: BSD-2-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.1.2
- License: BSD-3-Clause

test:atp-haskell-tests (5 dependencies)