Ubuntu
djinn package

djinn 2014.9.7-6build1 source package in Ubuntu

Changelog

djinn (2014.9.7-6build1) zesty; urgency=medium

  * Rebuild against latest GHC.

 -- Bhavani Shankar <email address hidden>  Wed, 25 Jan 2017 09:58:59 +0530

Upload details

Uploaded by:
Bhavani Shankar
Uploaded to:
Zesty
Original maintainer:
Debian Haskell Group
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe misc

Downloads

File Size SHA-256 Checksum
djinn_2014.9.7.orig.tar.gz 21.7 KiB 4ff8346fb9e93055b93db16a283312ee8bda122db8e54520c299da81d6df2ddd
djinn_2014.9.7-6build1.debian.tar.xz 2.9 KiB e6192f08d7563eb15ff514ff4c3a1a10a2ab3d011c10b13705c679b086d2661b
djinn_2014.9.7-6build1.dsc 1.6 KiB 9252e93e8df3b4504041ba20a9632352b2e0f9853e987909b1d619d4ad594c5b

View changes file

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.