套件：djinn（2014.9.7-9 以及其他的）

djinn 的相關連結

Debian 的資源：

下載原始碼套件 djinn：

維護小組：

外部的資源：

主頁 [hackage.haskell.org]

相似套件：

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.

標籤: Interface Toolkit: Ncurses TUI

其他與 djinn 有關的套件

依賴

推薦

建議

增強

dep: libatomic1 (>= 4.8) [riscv64]

support library providing __atomic built-in functions
dep: libc6 (>= 2.29) [除 alpha, ia64, riscv64, sh4]

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb

dep: libc6 (>= 2.33) [sh4]

dep: libc6 (>= 2.34) [riscv64]
dep: libc6.1 (>= 2.29) [alpha]

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6.1-udeb

dep: libc6.1 (>= 2.32) [ia64]
dep: libffi8 (>= 3.4)

Foreign Function Interface library runtime
dep: libgmp10 (>= 2:6.2.1+dfsg) [除 riscv64, x32]

Multiprecision arithmetic library

dep: libgmp10 (>= 2:6.2.1+dfsg1) [riscv64]
dep: libtinfo6 (>= 6)

shared low-level terminfo library for terminal handling

下載 djinn

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	2014.9.7-9+b2	2，635。9 kB	24，749。0 kB	[檔案列表]
amd64	2014.9.7-9+b2	447。7 kB	2，346。0 kB	[檔案列表]
arm64	2014.9.7-9+b2	577。8 kB	3，004。0 kB	[檔案列表]
armel	2014.9.7-9+b3	558。7 kB	2，591。0 kB	[檔案列表]
armhf	2014.9.7-9+b2	564。5 kB	2，591。0 kB	[檔案列表]
hppa （非官方移植版）	2014.9.7-9+b2	2，271。2 kB	23，771。0 kB	[檔案列表]
i386	2014.9.7-9+b2	455。8 kB	1，934。0 kB	[檔案列表]
ia64 （非官方移植版）	2014.9.7-9+b2	3，321。9 kB	78，011。0 kB	[檔案列表]
m68k （非官方移植版）	2014.9.7-9+b2	1，521。5 kB	13，977。0 kB	[檔案列表]
mips64el	2014.9.7-9+b2	2，483。5 kB	25，176。0 kB	[檔案列表]
ppc64 （非官方移植版）	2014.9.7-9+b2	1，553。3 kB	18，871。0 kB	[檔案列表]
ppc64el	2014.9.7-9+b2	1，612。9 kB	16，134。0 kB	[檔案列表]
riscv64 （非官方移植版）	2014.9.7-9+b4	2，454。2 kB	31，852。0 kB	[檔案列表]
s390x	2014.9.7-9+b2	3，293。7 kB	23，130。0 kB	[檔案列表]
sh4 （非官方移植版）	2014.9.7-9+b2	1，745。0 kB	16，204。0 kB	[檔案列表]
sparc64 （非官方移植版）	2014.9.7-9+b2	1，968。5 kB	31，100。0 kB	[檔案列表]
x32 （非官方移植版）	2014.9.7-9+b2	4，353。3 kB	16，962。0 kB	[檔案列表]