Package Info

ghc-djinn-ghc

install

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

Development/Libraries/Haskell
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.
License: BSD-3-Clause
URL: https://hackage.haskell.org/package/djinn-ghc

Categories

Development Libraries Haskell

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.0.2.3-bp150.2.4 info GA Release 2018-08-01 15
  • AArch64
  • ghc-djinn-ghc
  • ghc-djinn-ghc-devel
0.0.2.3-bp150.2.6 info GA Release 2018-07-30 15
  • ppc64le
  • x86-64
  • ghc-djinn-ghc
  • ghc-djinn-ghc-devel