Name:		djinn
Version:	2008.8.10
License:	BSD3
License-file:	LICENSE
Author:		Lennart Augustsson
Maintainer:	lennart@augustsson.net
Description:	Djinn uses an theorem prover for intuitionistic propositional logic
		to generate a Haskell expression when given a type.
Category:	source-tools
Homepage:	http://www.augustsson.net/Darcs/Djinn/
Synopsis:	Generate Haskell code from a type
Build-type:	Simple
Build-Depends:	base, mtl, readline, pretty, array, containers

Executable:     djinn
Main-Is:        Djinn.hs
Hs-Source-Dirs: src
Other-modules:  Help, HCheck,  LJT, HTypes, LJTFormula, REPL

--ghc-options:         -O2 -Wall -Werror -optl-Wl
ghc-options:         -Wall -optl-Wl
ghc-prof-options:    -prof -auto-all