@hackage / djinn-lib

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

Latest0.0.1.4

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 a library extracted from Djinn sources.