djinn-lib: Generate Haskell code from a type. Library extracted from djinn package.

[ bsd3, language, library ] [ Propose Tags ] [ Report a vulnerability ]

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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.0.1, 0.0.1.1, 0.0.1.2, 0.0.1.3, 0.0.1.4
Dependencies base (>=4.6 && <5), containers, mtl, pretty [details]
License BSD-3-Clause
Author Lennart Augustsson
Maintainer trupill@gmail.com
Category Language
Home page http://www.augustsson.net/Darcs/Djinn/
Uploaded by AlejandroSerrano at 2022-05-21T19:30:53Z
Distributions Arch:0.0.1.4, Debian:0.0.1.3, Fedora:0.0.1.4, LTSHaskell:0.0.1.4, NixOS:0.0.1.4, Stackage:0.0.1.4
Reverse Dependencies 2 direct, 5 indirect [details]
Downloads 28097 total (16 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]