Paket: djinn (2014.9.7-9 och andra)

Länkar för djinn

Debianresurser:

Hämta källkodspaketet djinn:

Ansvariga:

Externa resurser:

Hemsida [hackage.haskell.org]

Liknande paket:

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.

Märken: Interface Toolkit: Ncurses TUI

Andra paket besläktade med djinn

beror

rekommenderar

föreslår

enhances

dep: libatomic1 (>= 4.8) [riscv64]

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

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb

dep: libc6 (>= 2.33) [sh4]

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

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av 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) [ej riscv64, x32]

Multiprecision arithmetic library

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

shared low-level terminfo library for terminal handling

Hämta djinn

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	2014.9.7-9+b2	2.635,9 kbyte	24.749,0 kbyte	[filförteckning]
amd64	2014.9.7-9+b2	447,7 kbyte	2.346,0 kbyte	[filförteckning]
arm64	2014.9.7-9+b2	577,8 kbyte	3.004,0 kbyte	[filförteckning]
armel	2014.9.7-9+b3	558,7 kbyte	2.591,0 kbyte	[filförteckning]
armhf	2014.9.7-9+b2	564,5 kbyte	2.591,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	2014.9.7-9+b2	2.271,2 kbyte	23.771,0 kbyte	[filförteckning]
i386	2014.9.7-9+b2	455,8 kbyte	1.934,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	2014.9.7-9+b2	3.321,9 kbyte	78.011,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	2014.9.7-9+b2	1.521,5 kbyte	13.977,0 kbyte	[filförteckning]
mips64el	2014.9.7-9+b2	2.483,5 kbyte	25.176,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	2014.9.7-9+b2	1.553,3 kbyte	18.871,0 kbyte	[filförteckning]
ppc64el	2014.9.7-9+b2	1.612,9 kbyte	16.134,0 kbyte	[filförteckning]
riscv64 (inofficiell anpassning)	2014.9.7-9+b4	2.454,2 kbyte	31.852,0 kbyte	[filförteckning]
s390x	2014.9.7-9+b2	3.293,7 kbyte	23.130,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	2014.9.7-9+b2	1.745,0 kbyte	16.204,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	2014.9.7-9+b2	1.968,5 kbyte	31.100,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	2014.9.7-9+b2	4.353,3 kbyte	16.962,0 kbyte	[filförteckning]