@hackage / djinn-ghc

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

Latest0.0.2.3

About

Metadata

  • Last updated , by AlejandroSerrano
  • License BSD-3-Clause

  • Maintained by: trupill@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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.