File: djinn-lib.cabal

package info (click to toggle)
haskell-djinn-lib 0.0.1.4-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 100 kB
  • sloc: haskell: 966; makefile: 2
file content (26 lines) | stat: -rw-r--r-- 917 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
23
24
25
26
 
name:           djinn-lib
version:        0.0.1.4
cabal-version:  >= 1.10
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
  default-language: Haskell98