Це команда djinn, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS
ПРОГРАМА:
ІМ'Я
djinn - генерувати вирази Haskell з типів
СИНТАКСИС
джинн [ВАРІАНТ ... ] [Фото ... ]
ОПИС
Джинн використовує докази теорем для інтуїтивної пропозиційної логіки для створення Haskell
вираз, коли заданий тип.
За допомогою типу програма виведе вираз цього типу, якщо такий існує. Якщо
Джинн каже, що тип неможливий, тому що немає (повного) виразу
заданого типу.
ВАРІАНТИ
[-|+]multi Друк кількох рішень.
[-|+]sorted Рішення сортування.
[-|+]налагодження Режим налагодження.
Використовуйте djinn онлайн за допомогою служб onworks.net