homepage: https://github.com/seereason/atp-haskell
changelog-type: ''
hash: 6983eebfa77ac1055fa5c0e19a6d9ef4bbaa0592c59f7dcf1fa255bc48520448
test-bench-deps:
  base: -any
  time: -any
  HUnit: -any
  containers: -any
  atp-haskell: -any
maintainer: David Fox <dsf@seereason.com>
synopsis: Translation from Ocaml to Haskell of John Harrison's ATP code
changelog: ''
basic-deps:
  base: ! '>=4.8 && <5'
  time: -any
  parsec: -any
  HUnit: -any
  containers: -any
  applicative-extras: -any
  mtl: -any
  pretty: ! '>=1.1.2'
  template-haskell: -any
all-versions:
- '1.7'
- '1.8'
author: John Harrison
latest: '1.8'
description-type: haddock
description: ! 'This package is a liberal translation from OCaml to Haskell of

  the automated theorem prover written in OCaml in

  John Harrison''s book "Practical Logic and Automated

  Reasoning".  Click on module ATP below for an overview.'
license-name: BSD3

homepage: https://github.com/seereason/atp-haskell
changelog-type: ''
hash: cbe18d71418d679fcc51f197615f3a2fd8d8236a3f9a7933170bbdd6f5a29b7d
test-bench-deps:
  base: -any
  time: -any
  HUnit: -any
  containers: -any
  atp-haskell: -any
maintainer: David Fox <dsf@seereason.com>
synopsis: Translation from Ocaml to Haskell of John Harrison's ATP code
changelog: ''
basic-deps:
  base: ! '>=4.8 && <5'
  time: -any
  parsec: -any
  HUnit: -any
  containers: -any
  applicative-extras: -any
  mtl: -any
  pretty: ! '>=1.1.2'
  template-haskell: -any
all-versions:
- '1.7'
- '1.8'
- '1.9'
author: John Harrison
latest: '1.9'
description-type: haddock
description: ! 'This package is a liberal translation from OCaml to Haskell of

  the automated theorem prover written in OCaml in

  John Harrison''s book "Practical Logic and Automated

  Reasoning".  Click on module ATP below for an overview.'
license-name: BSD3

Update from Hackage at 2015-12-31T16:15:37+0000
Update from Hackage at 2015-12-31T16:15:37+0000
