Paquet : djinn (2014.9.7-9 et autres) [debports]

Liens pour djinn

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

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é.

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.34) [riscv64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libc6.1 (>= 2.32) [ia64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
dep: libffi8 (>= 3.4)

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

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
ia64 (portage non officiel)	2014.9.7-9+b2	3 321,9 ko	78 011,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]