Aceasta este comanda djinn care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
djinn - generează expresii Haskell din tipuri
REZUMAT
djinn [OPȚIUNE ... ] [FILE ... ]
DESCRIERE
Djinn folosește un demonstrator de teoreme pentru logica propozițională intuiționistă pentru a genera un Haskell
expresie atunci când este dat un tip.
Având în vedere un tip, programul va deduce o expresie de acest tip, dacă există una. Dacă
Djinn spune că tipul nu este realizabil, deoarece nu există o expresie (totală) a lui
tipul dat.
OPŢIUNI
[-|+]multi Imprimați mai multe soluții.
[-|+]sortat Sortați soluții.
[-|+]depanare Modul de depanare.
Utilizați djinn online folosind serviciile onworks.net
