[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#725654: ITP: djinn -- generate Haskell expressions from types

Package: wnpp
Severity: wishlist
Owner: Raúl Benencia <rul@kalgan.cc>

* Package name    : djinn
  Version         : 2011.7.23
  Upstream Author : Lennart Augustsson <lennart@augustsson.net>
* URL             : http://hackage.haskell.org/package/djinn
* License         : BSD
  Programming Lang: Haskell
  Description     : generate Haskell expressions from types

Djinn uses a theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type.

Given a type the program will deduce an expression of this type, if one
exists. If the Djinn says the type is not realizable it is because there is
no (total) expression of the given type.

Attachment: signature.asc
Description: Digital signature

Reply to: