The latest version of djinn-ghc is 0.0.2.3-0.
djinn-ghc
Version 0.0.2.1 revision 0 uploaded by AlejandroSerrano.
Package meta
- Synopsis
- Generate Haskell code from a type. Bridge from Djinn to GHC API.
- Description
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.
- Author
- Alejandro Serrano
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- trupill@gmail.com
- Package URL
- n/a
- Stability
- n/a