Пакет: 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: libc6 (>= 2.29)

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
dep: libffi8 (>= 3.4)

Foreign Function Interface library runtime
dep: libgmp10 (>= 2:6.2.1+dfsg)

Multiprecision arithmetic library
dep: libtinfo6 (>= 6)

shared low-level terminfo library for terminal handling

Изтегляне на djinn

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
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 кБ	[списък на файловете]
i386	2014.9.7-9+b2	455,8 кБ	1 934,0 кБ	[списък на файловете]
mips64el	2014.9.7-9+b2	2 483,5 кБ	25 176,0 кБ	[списък на файловете]
mipsel	2014.9.7-9+b2	1 704,9 кБ	17 337,0 кБ	[списък на файловете]
ppc64el	2014.9.7-9+b2	1 612,9 кБ	16 134,0 кБ	[списък на файловете]
s390x	2014.9.7-9+b2	3 293,7 кБ	23 130,0 кБ	[списък на файловете]