Idris
مدخل فهرس (سنعززه لاحقاً)
catalog
الامتدادات: -
Summary
This page is ready to expand with a real summary and links.
المعرّف
idris
المستوى
catalog
الامتدادات
-
Hello World
// Hello World in Idris
Hello, World!ملاحظة: يمكنك لاحقاً إضافة روابط التوثيق الرسمي ومراجع موثوقة.