[ Paquet source : djinn ]
Paquet : djinn (2014.9.7-9)
Liens pour djinn
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour 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é.
Autres paquets associés à djinn
|
|
|
|
-
- dep: libatomic1 (>= 4.8)
- bibliothèque de prise en charge fournissant des fonctions internes __atomic
-
- dep: libc6 (>= 2.27)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libffi6 (>= 3.0.4)
- Bibliothèque d'exécution de l'interface de fonction étrangère (FFI)
-
- dep: libgmp10
- Bibliothèque arithmétique à multi-précision
-
- dep: libtinfo6 (>= 6)
- bibliothèque partagée terminfo de bas niveau pour manipuler le terminal
Télécharger djinn
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
i386 | 457,9 ko | 1 955,0 ko | [liste des fichiers] |