Ubuntu
djinn package

djinn 2011.7.23-3 source package in Ubuntu

Changelog

djinn (2011.7.23-3) unstable; urgency=medium

  * Upload to unstable

 -- Joachim Breitner <email address hidden>  Mon, 27 Apr 2015 11:47:25 +0200

Upload details

Uploaded by:
Debian Haskell Group
Uploaded to:
Sid
Original maintainer:
Debian Haskell Group
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
djinn_2011.7.23-3.dsc 2.0 KiB 12a3e7ad0a3b399e64109075f42d5c6f903e101bd4431f33b60c98036194b3d7
djinn_2011.7.23.orig.tar.gz 21.6 KiB bb870bc3415b54a8955191b69f684a188d78c5103bb12d9e4c39b4fcf145e490
djinn_2011.7.23-3.debian.tar.xz 2.6 KiB a2ac832884bd25f98fe088ed2dc4cda467de4138d934345fc4543ee895f6e585

Available diffs

No changes file available.

Binary packages built by this source

djinn: 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.