Paquet : djinn (2014.9.7-9 et autres)

Liens pour djinn

Ressources Debian :

Télécharger le paquet source djinn :

Responsables :

Ressources externes :

Page d'accueil [hackage.haskell.org]

Paquets similaires :

générateur d'expressions Haskell à partir de types

Djinn utilise un assistant de preuve pour la logique intuitionniste propositionnelle pour générer une expression Haskell lorsqu'on lui donne un type.

À partir du type donné, le programme déduira une expression de ce type s'il en existe une. Si Djinn dit que le type n'est pas réalisable, c'est qu'il n'y a pas d'expression (générale) correspondant au type donné.

Étiquettes: Boîte à outils d'interface utilisateur: Interface utilisateur texte ncurses

Autres paquets associés à djinn

dépendances

recommandations

suggestions

enhances

dep: libatomic1 (>= 4.8) [riscv64]

bibliothèque de prise en charge fournissant des fonctions internes __atomic
dep: libc6 (>= 2.29) [non alpha, ia64, riscv64, sh4]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.33) [sh4]

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

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb

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

Bibliothèque d'exécution de l'interface de fonction étrangère (FFI)
dep: libgmp10 (>= 2:6.2.1+dfsg) [non riscv64, x32]

Bibliothèque arithmétique à multi-précision

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

bibliothèque partagée terminfo de bas niveau pour manipuler le terminal

Télécharger djinn

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	2014.9.7-9+b2	2 635,9 ko	24 749,0 ko	[liste des fichiers]
amd64	2014.9.7-9+b2	447,7 ko	2 346,0 ko	[liste des fichiers]
arm64	2014.9.7-9+b2	577,8 ko	3 004,0 ko	[liste des fichiers]
armel	2014.9.7-9+b3	558,7 ko	2 591,0 ko	[liste des fichiers]
armhf	2014.9.7-9+b2	564,5 ko	2 591,0 ko	[liste des fichiers]
hppa (portage non officiel)	2014.9.7-9+b2	2 271,2 ko	23 771,0 ko	[liste des fichiers]
i386	2014.9.7-9+b2	455,8 ko	1 934,0 ko	[liste des fichiers]
ia64 (portage non officiel)	2014.9.7-9+b2	3 321,9 ko	78 011,0 ko	[liste des fichiers]
m68k (portage non officiel)	2014.9.7-9+b2	1 521,5 ko	13 977,0 ko	[liste des fichiers]
mips64el	2014.9.7-9+b2	2 483,5 ko	25 176,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	2014.9.7-9+b2	1 553,3 ko	18 871,0 ko	[liste des fichiers]
ppc64el	2014.9.7-9+b2	1 612,9 ko	16 134,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	2014.9.7-9+b4	2 454,2 ko	31 852,0 ko	[liste des fichiers]
s390x	2014.9.7-9+b2	3 293,7 ko	23 130,0 ko	[liste des fichiers]
sh4 (portage non officiel)	2014.9.7-9+b2	1 745,0 ko	16 204,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	2014.9.7-9+b2	1 968,5 ko	31 100,0 ko	[liste des fichiers]
x32 (portage non officiel)	2014.9.7-9+b2	4 353,3 ko	16 962,0 ko	[liste des fichiers]