File: djinn.cabal

package info (click to toggle)
djinn 2011.7.23-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 164 kB
  • sloc: haskell: 1,572; makefile: 3
file content (22 lines) | stat: -rw-r--r-- 717 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
Name:		djinn
Version:	2011.7.23
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 >= 4 && < 5, mtl, haskeline -any, 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
--ghc-options:         -Wall -optl-Wl
ghc-prof-options:    -prof -auto-all