Il s'agit de la commande djinn qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
djinn - génère des expressions Haskell à partir de types
SYNOPSIS
Djinn [OPTION ... ] [DOSSIER ... ]
DESCRIPTION
Djinn utilise un prouveur de théorème pour la logique propositionnelle intuitionniste pour générer un Haskell
expression lorsqu'on lui donne un type.
Étant donné un type, le programme en déduira une expression de ce type, s'il en existe une. Si la
Djinn dit que le type n'est pas réalisable c'est parce qu'il n'y a pas d'expression (totale) du
type donné.
OPTIONS
[-|+]multi Imprime plusieurs solutions.
[-|+]solutions de tri triées.
[-|+]debug Mode de débogage.
Utiliser djinn en ligne en utilisant les services onworks.net
