djinn - generate Haskell expressions from types

Property Value
Distribution Ubuntu 14.04 LTS (Trusty Tahr)
Repository Ubuntu Universe amd64
Package filename djinn_2011.7.23-1_amd64.deb
Package name djinn
Package version 2011.7.23
Package release 1
Package architecture amd64
Package type deb
Category universe/haskell
License -
Maintainer Ubuntu Developers <>
Download size 417.48 KB
Installed size 2.45 MB
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.


Package Version Architecture Repository
djinn_2011.7.23-1_i386.deb 2011.7.23 i386 Ubuntu Universe
djinn - - -


Name Value
libc6 >= 2.15
libffi6 >= 3.0.4
libgmp10 -
libtinfo5 -


Type URL
Binary Package djinn_2011.7.23-1_amd64.deb
Source Package djinn

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install djinn deb package:
    # sudo apt-get install djinn




2013-10-27 - Raúl Benencia <>
djinn (2011.7.23-1) unstable; urgency=low
[ Raúl Benencia ]
* Initial release. (Closes: #725654)

See Also

Package Description
djmount_0.71-6_amd64.deb file system client for mounting network media servers
djtools_1.2.7_amd64.deb tools for HP DeskJet printer
djview-plugin_4.9-4ubuntu3_amd64.deb Browser plugin for the DjVu image format
djview3_3.5.25.4-3_amd64.deb Transition package, djview3 to djview4
djview4_4.9-4ubuntu3_amd64.deb Viewer for the DjVu image format
djview_3.5.25.4-3_amd64.deb Transition package, djview3 to djview4
djvulibre-bin_3.5.25.4-3_amd64.deb Utilities for the DjVu image format
djvulibre-desktop_3.5.25.4-3_all.deb Desktop support for the DjVu image format
djvulibre-plugin_4.9-4ubuntu3_all.deb Transition package, djvulibre-plugin to djview-plugin
djvuserve_3.5.25.4-3_amd64.deb CGI program for unbundling DjVu files on the fly
djvusmooth_0.2.14-1_all.deb graphical editor for DjVu
dk-filter_1.0.0.dfsg-1.2_amd64.deb DomainKeys for Sendmail
dkim-milter-python_0.8.18-2_all.deb Domain Keys Identified Mail Milter for Sendmail and Postfix
dkimproxy_1.4.1-3_all.deb an SMTP-proxy that signs and/or verifies emails, using the Mail::DKIM module
dkopp_6.3.1-1_amd64.deb Full and incremental backup to DVD