djinn 2014.9.7-9build1 source package in Ubuntu

Changelog

djinn (2014.9.7-9build1) eoan; urgency=medium

  * Rebuild against new GHC abi.

 -- Gianfranco Costamagna <email address hidden>  Sat, 07 Sep 2019 17:39:28 +0200

Upload details

Uploaded by:
Gianfranco Costamagna on 2019-09-07
Uploaded to:
Eoan
Original maintainer:
Debian Haskell Group
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release on 2019-10-18 universe misc
Eoan release on 2019-09-07 universe misc

Downloads

File Size SHA-256 Checksum
djinn_2014.9.7.orig.tar.gz 21.7 KiB 4ff8346fb9e93055b93db16a283312ee8bda122db8e54520c299da81d6df2ddd
djinn_2014.9.7-9build1.debian.tar.xz 3.4 KiB 3300519b8b7ac90b7ff9d9c57d1918251a2d7a148edde4939741870d45514eb0
djinn_2014.9.7-9build1.dsc 2.0 KiB 693d15415803bdd5a2c5ab1b776b67efaec16315ddbe583dfd6ae1c1b6e06033

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.