Пакет: 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

зависимости

препоръчани

предложени

enhances

dep: libatomic1 (>= 4.8) [riscv64]

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

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb

dep: libc6 (>= 2.33) [sh4]

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

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от 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 кБ	24 749,0 кБ	[списък на файловете]
amd64	2014.9.7-9+b2	447,7 кБ	2 346,0 кБ	[списък на файловете]
arm64	2014.9.7-9+b2	577,8 кБ	3 004,0 кБ	[списък на файловете]
armel	2014.9.7-9+b3	558,7 кБ	2 591,0 кБ	[списък на файловете]
armhf	2014.9.7-9+b2	564,5 кБ	2 591,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	2014.9.7-9+b2	2 271,2 кБ	23 771,0 кБ	[списък на файловете]
i386	2014.9.7-9+b2	455,8 кБ	1 934,0 кБ	[списък на файловете]
ia64 (неофициална архитектура)	2014.9.7-9+b2	3 321,9 кБ	78 011,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	2014.9.7-9+b2	1 521,5 кБ	13 977,0 кБ	[списък на файловете]
mips64el	2014.9.7-9+b2	2 483,5 кБ	25 176,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	2014.9.7-9+b2	1 553,3 кБ	18 871,0 кБ	[списък на файловете]
ppc64el	2014.9.7-9+b2	1 612,9 кБ	16 134,0 кБ	[списък на файловете]
riscv64 (неофициална архитектура)	2014.9.7-9+b4	2 454,2 кБ	31 852,0 кБ	[списък на файловете]
s390x	2014.9.7-9+b2	3 293,7 кБ	23 130,0 кБ	[списък на файловете]
sh4 (неофициална архитектура)	2014.9.7-9+b2	1 745,0 кБ	16 204,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	2014.9.7-9+b2	1 968,5 кБ	31 100,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	2014.9.7-9+b2	4 353,3 кБ	16 962,0 кБ	[списък на файловете]