Pakiet: djinn (2014.9.7-9 i inne)

Odnośniki dla djinn

Zasoby systemu Debian:

Pobieranie pakietu źródłowego djinn:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [hackage.haskell.org]

Podobne pakiety:

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.

Znaczniki: Pakiet narzędziowy interfejsu: Ncurses (terminalowy)

Inne pakiety związane z djinn

wymaga

poleca

sugeruje

enhances

dep: libatomic1 (>= 4.8) [riscv64]

Biblioteka wsparcia zapewniająca wbudowane funkcje __atomic
dep: libc6 (>= 2.29) [nie alpha, ia64, riscv64, sh4]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb

dep: libc6 (>= 2.33) [sh4]

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

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb

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

Pliki biblioteki uruchomieniowej dla interfejsu funkcji obcych
dep: libgmp10 (>= 2:6.2.1+dfsg) [nie riscv64, x32]

Biblioteka działań arytmetycznych z dużą dokładnością

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

Współdzielona, niskopoziomowa biblioteka terminfo do obsługi terminala

Pobieranie djinn

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	2014.9.7-9+b2	2 635,9 KiB	24 749,0 KiB	[lista plików]
amd64	2014.9.7-9+b2	447,7 KiB	2 346,0 KiB	[lista plików]
arm64	2014.9.7-9+b2	577,8 KiB	3 004,0 KiB	[lista plików]
armel	2014.9.7-9+b3	558,7 KiB	2 591,0 KiB	[lista plików]
armhf	2014.9.7-9+b2	564,5 KiB	2 591,0 KiB	[lista plików]
hppa (port nieoficjalny)	2014.9.7-9+b2	2 271,2 KiB	23 771,0 KiB	[lista plików]
i386	2014.9.7-9+b2	455,8 KiB	1 934,0 KiB	[lista plików]
ia64 (port nieoficjalny)	2014.9.7-9+b2	3 321,9 KiB	78 011,0 KiB	[lista plików]
m68k (port nieoficjalny)	2014.9.7-9+b2	1 521,5 KiB	13 977,0 KiB	[lista plików]
mips64el	2014.9.7-9+b2	2 483,5 KiB	25 176,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	2014.9.7-9+b2	1 553,3 KiB	18 871,0 KiB	[lista plików]
ppc64el	2014.9.7-9+b2	1 612,9 KiB	16 134,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	2014.9.7-9+b4	2 454,2 KiB	31 852,0 KiB	[lista plików]
s390x	2014.9.7-9+b2	3 293,7 KiB	23 130,0 KiB	[lista plików]
sh4 (port nieoficjalny)	2014.9.7-9+b2	1 745,0 KiB	16 204,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	2014.9.7-9+b2	1 968,5 KiB	31 100,0 KiB	[lista plików]
x32 (port nieoficjalny)	2014.9.7-9+b2	4 353,3 KiB	16 962,0 KiB	[lista plików]