@hackage djinn-ghc0.0.2.3

Generate Haskell code from a type. Bridge from Djinn to GHC API.

Categories
License
BSD-3-Clause
Maintainer
trupill@gmail.com
Links
- Documentation
- No source repository
- Security
Versions
- 0.0.2.3 Sun, 11 Jan 2015
- 0.0.2.2 Mon, 18 Aug 2014
- 0.0.2.1 Sun, 3 Aug 2014
- 0.0.2 Sun, 3 Aug 2014
- 0.0.1 Fri, 1 Aug 2014

Installation
In your cabal file:
Dependencies (7)
- async
- base >=4 && <5
- containers
- djinn-lib >=0.0.1.2
- ghc
- mtl
Dependents (2)
@hackage/acme-everything, @hackage/ghc-mod

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is the bridge from djinn-lib to GHC API.

@hackage djinn-ghc0.0.2.3

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (7)

Dependents (2)