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) [non arm64]
- Bibliothèque d'exécution de l'interface de fonction étrangère (FFI)
- dep: libffi6 (>= 3.2) [arm64]
-
- 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 |
---|---|---|---|
amd64 | 460,0 ko | 2 428,0 ko | [liste des fichiers] |
arm64 | 598,5 ko | 3 160,0 ko | [liste des fichiers] |
armhf | 558,1 ko | 2 610,0 ko | [liste des fichiers] |
i386 | 457,9 ko | 1 955,0 ko | [liste des fichiers] |