Package Info

ghc-djinn-lib

install

Generate Haskell code from a type. Library extracted from djinn package

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

Categories

Development Libraries Haskell

Releases

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