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: libc6 (>= 2.29)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av 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

Hämta djinn

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
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]
i386	2014.9.7-9+b2	455,8 kbyte	1.934,0 kbyte	[filförteckning]
mips64el	2014.9.7-9+b2	2.483,5 kbyte	25.176,0 kbyte	[filförteckning]
mipsel	2014.9.7-9+b2	1.704,9 kbyte	17.337,0 kbyte	[filförteckning]
ppc64el	2014.9.7-9+b2	1.612,9 kbyte	16.134,0 kbyte	[filförteckning]
s390x	2014.9.7-9+b2	3.293,7 kbyte	23.130,0 kbyte	[filförteckning]