این دستور djinn است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
djinn - عبارات Haskell را از انواع ایجاد کنید
خلاصه
جین [گزینه ... ] [فایل ... ]
شرح
جین از یک اثباتکننده قضیه برای منطق گزارهای شهودی برای تولید هسکل استفاده میکند
بیان زمانی که یک نوع داده می شود.
با توجه به یک نوع، برنامه بیانی از این نوع را استنتاج می کند، در صورت وجود. اگر
جین می گوید که نوع قابل تحقق نیست، به این دلیل است که هیچ بیانی (کلی) از آن وجود ندارد
نوع داده شده
OPTIONS
[-|+]چاپ چند راه حل.
[-|+]راهحلهای مرتبسازی شده.
[-|+]debug حالت اشکال زدایی.
با استفاده از خدمات onworks.net از djinn به صورت آنلاین استفاده کنید