31 lines
979 B
Plaintext
31 lines
979 B
Plaintext
name: djinn-lib
|
|
version: 0.0.1.3
|
|
x-revision: 1
|
|
cabal-version: >= 1.6
|
|
license: BSD3
|
|
license-file: LICENSE
|
|
author: Lennart Augustsson
|
|
maintainer: trupill@gmail.com
|
|
synopsis: Generate Haskell code from a type. Library extracted from djinn package.
|
|
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.
|
|
category: Language
|
|
homepage: http://www.augustsson.net/Darcs/Djinn/
|
|
build-type: Simple
|
|
|
|
library
|
|
hs-source-dirs: src
|
|
build-depends: base >= 4.6 && < 5,
|
|
mtl,
|
|
containers,
|
|
pretty
|
|
exposed-modules: Djinn.HCheck,
|
|
Djinn.HTypes,
|
|
Djinn.LJT,
|
|
Djinn.LJTFormula
|
|
|
|
source-repository head
|
|
type: git
|
|
location: https://github.com/serras/djinn-lib
|