homepage: http://www.augustsson.net/Darcs/Djinn/
changelog-type: ''
hash: b541bdbc2d7d46dbb2ef2288d5c4f94dbb720dd533ed0480490d3c84f1c5eb5e
test-bench-deps: {}
maintainer: trupill@gmail.com
synopsis: Generate Haskell code from a type. Library extracted from djinn package.
changelog: ''
basic-deps:
  base: ! '>=4 && <5'
  containers: -any
  mtl: -any
  pretty: -any
all-versions:
- '0.0.1'
- '0.0.1.1'
- '0.0.1.2'
author: Lennart Augustsson
latest: '0.0.1.2'
description-type: haddock
description: ! 'Djinn uses an theorem prover for intuitionistic propositional logic

  to generate a Haskell expression when given a type.

  This is a library extracted from Djinn sources.'
license-name: BSD3

homepage: http://www.augustsson.net/Darcs/Djinn/
changelog-type: ''
hash: 73aa314cf014f2a6c2b261faf347cc6611fd2f8ad22c29fd298da1cf375dcb4a
test-bench-deps: {}
maintainer: trupill@gmail.com
synopsis: Generate Haskell code from a type. Library extracted from djinn package.
changelog: ''
basic-deps:
  base: ! '>=4 && <5'
  containers: -any
  mtl: -any
  pretty: -any
all-versions:
- '0.0.1'
- '0.0.1.1'
- '0.0.1.2'
- '0.0.1.3'
author: Lennart Augustsson
latest: '0.0.1.3'
description-type: haddock
description: ! 'Djinn uses an theorem prover for intuitionistic propositional logic

  to generate a Haskell expression when given a type.

  This is a library extracted from Djinn sources.'
license-name: BSD3

Update from Hackage at 2018-05-15T14:29:21Z
Update from Hackage at 2018-05-15T14:29:21Z
