homepage: https://github.com/dillonhuff/Folly
changelog-type: ''
hash: b0c5222012d7e11f62e0aacf4bff7030a53d0f22ee2ca36e6aedfd5d15977bcc
test-bench-deps: {}
maintainer: Dillon Huff
synopsis: A first order logic library in Haskell
changelog: ''
basic-deps:
  base: <6
  parsec: -any
  HUnit: -any
  containers: -any
all-versions:
- '0.1.0.0'
- '0.1.1.0'
- '0.1.2.0'
- '0.1.3.0'
- '0.1.4.0'
- '0.1.4.1'
author: Dillon Huff
latest: '0.1.4.1'
description-type: haddock
description: ! 'An implementation of first order logic in Haskell that

  includes a library of modules for incorporating first

  order logic into other programs as well as an executable

  theorem prover that uses resolution to prove theorems

  in first order logic.'
license-name: BSD3

homepage: https://github.com/dillonhuff/Folly
changelog-type: ''
hash: d0c5a539305629648036e8dd0b803d3e93e498e4d233d43454f5b1cee820036a
test-bench-deps: {}
maintainer: Dillon Huff
synopsis: A first order logic library in Haskell
changelog: ''
basic-deps:
  base: <6
  parsec: -any
  HUnit: -any
  containers: -any
all-versions:
- '0.1.0.0'
- '0.1.1.0'
- '0.1.2.0'
- '0.1.3.0'
- '0.1.4.0'
- '0.1.4.1'
- '0.1.4.2'
- '0.1.4.3'
author: Dillon Huff
latest: '0.1.4.3'
description-type: haddock
description: ! 'An implementation of first order logic in Haskell that

  includes a library of modules for incorporating first

  order logic into other programs as well as an executable

  theorem prover that uses resolution to prove theorems

  in first order logic.'
license-name: BSD3

Update from Hackage at 2015-08-30T21:38:16+0000
Update from Hackage at 2015-08-30T21:38:16+0000
