Paquet : djinn (2014.9.7-9 et autres)

[ Paquet source : djinn  ]

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

• dep: libc6 (>= 2.29)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-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)

  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

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
s390x	2014.9.7-9+b2	3 293,7 ko	23 130,0 ko	[liste des fichiers]