Dies ist der Befehl djinn, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
djinn – Haskell-Ausdrücke aus Typen generieren
ZUSAMMENFASSUNG
Dschinn [zur Auswahl ... ] [FILE ... ]
BESCHREIBUNG
Djinn verwendet einen Theorembeweis für intuitionistische Aussagenlogik, um ein Haskell zu generieren
Ausdruck, wenn ein Typ angegeben wird.
Bei einem gegebenen Typ leitet das Programm einen Ausdruck dieses Typs ab, sofern einer vorhanden ist. Wenn die
Djinn sagt, dass der Typ nicht realisierbar ist, weil es keinen (vollständigen) Ausdruck dafür gibt
gegebener Typ.
OPTIONAL
[-|+]multi Mehrere Lösungen drucken.
[-|+]sorted Sortierlösungen.
[-|+]debug Debug-Modus.
Nutzen Sie Djinn online über die Dienste von onworks.net