 | جينإنشاء رمز Haskell من نوع |
| التحميل الان | |
جين الترتيب والملخص
الإعلانات
- رخصة:
- Freeware
- السعر:
- FREE
- اسم الناشر:
- Lennart Augustsson
- موقع ويب الناشر:
- http://www.augustsson.net/lennart/index.html
- أنظمة التشغيل:
- Mac OS X
- حجم الملف:
- 20 KB
جين العلامات
جين وصف
إنشاء رمز Haskell من نوع Djinn هو برنامج Haskell مجاني ومفتوح يستخدم Theorem Pover للحصول على منطق الاقتراح غير الحكومي لتوليد تعبير Haskell عند إعطاء نوع. ملاحظة: DJINN مرخص وتوزيع بموجب شروط ترخيص BSD. متطلبات: GHC.
جين برامج ذات صلة
