djinn 2014.9.7-9 source package in Ubuntu

Changelog

djinn (2014.9.7-9) unstable; urgency=medium

  * Patch to build with ghc-8.4

 -- Ilias Tsitsimpis <email address hidden>  Thu, 04 Oct 2018 19:10:56 +0300

Upload details

Uploaded by:
Debian Haskell Group on 2018-10-04
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
Disco release on 2018-12-13 universe misc

Downloads

File Size SHA-256 Checksum
djinn_2014.9.7-9.dsc 2.0 KiB c94243ca29ef21598dfea44ef205c37d9b50538c3e2420c93d2ba524959c22fc
djinn_2014.9.7.orig.tar.gz 21.7 KiB 4ff8346fb9e93055b93db16a283312ee8bda122db8e54520c299da81d6df2ddd
djinn_2014.9.7-9.debian.tar.xz 3.4 KiB fa8fedb627754a26b32a48554954aef0ffbb922dc5a55159ef9f289efd085a37

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.