القائمة الرئيسية
القائمة الرئيسية
انقل للشريط الجانبي
أخف
تصفح
الصفحة الرئيسية
أحدث التغييرات
الصفحات الخاصّة
رفع ملف
تصفح
المواضيع
أبجدي
دليل الأسلوب
صفحة عشوائية
مشاريع شقيقة
معرفة_المصادر
معرفة_الأخبار
المشاركة والمساعدة
بوابة المجتمع
مساعدة
الميدان
المعرفة
بحث
بحث
إنشاء حساب
دخول
أدوات شخصية
إنشاء حساب
دخول
Idris (programming language)
مقالة
ناقش هذه الصفحة
العربية
اقرأ
عرض المصدر
تاريخ
أدوات
أدوات
انقل للشريط الجانبي
أخف
إجراءات
اقرأ
عرض المصدر
تاريخ
عام
ماذا يرتبط هنا؟
تغييرات ذات علاقة
الصفحات الخاصّة
نسخة للطباعة
وصلة دائمة
معلومات عن هذه الصفحة
صفحة تحويل
تحويل إلى:
إدريس (لغة برمجة)
تبديل عرض المحتوى المحدود