homepage: https://github.com/dillonhuff/Folly
changelog-type: ''
hash: 88c56589742d25e4df9c8c78c9c55a09e1092f50821cdcd0c7098c1d52a700fa
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'
author: Dillon Huff
latest: '0.1.3.0'
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: 8b0e8c52f44e90c09d5b38e4ae8fd266851fe8f4733ba207e46c69b462ea0aa9
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'
author: Dillon Huff
latest: '0.1.4.0'
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-30T02:18:08+0000
Update from Hackage at 2015-08-30T02:18:08+0000
