Package: djinn (2014.9.7-9)

[ 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.

Tags: Interface Toolkit: Ncurses TUI

Other Packages Related to djinn

• dep: libatomic1 (>= 4.8)

  support library providing __atomic built-in functions

• dep: libc6 (>= 2.27)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libffi6 (>= 3.0.4) [not arm64]

  Foreign Function Interface library runtime

  dep: libffi6 (>= 3.2) [arm64]

• dep: libgmp10

  Multiprecision arithmetic library

• dep: libtinfo6 (>= 6)

  shared low-level terminfo library for terminal handling

Download djinn

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	460.0 kB	2,428.0 kB	[list of files]
arm64	598.5 kB	3,160.0 kB	[list of files]
armhf	558.1 kB	2,610.0 kB	[list of files]
i386	457.9 kB	1,955.0 kB	[list of files]