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

support library providing __atomic built-in functions
dep: libc6 (>= 2.27)

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
dep: libffi6 (>= 3.0.4) [не 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

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

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
amd64	460,0 кБ	2 428,0 кБ	[списък на файловете]
arm64	598,5 кБ	3 160,0 кБ	[списък на файловете]
armhf	558,1 кБ	2 610,0 кБ	[списък на файловете]
i386	457,9 кБ	1 955,0 кБ	[списък на файловете]