لغة البرمجة “Literate Agda” هي لغة برمجة تطورت في جامعة تشالمرز (Chalmers University)، وقد ظهرت لأول مرة في عام 2009. تتميز هذه اللغة بالتركيز على الكتابة التوثيقية والتفسيرية للكود المصدري، حيث يمكن للمبرمجين كتابة شرح مفصل للخوارزميات والمفاهيم المستخدمة في البرنامج بالإضافة إلى الكود نفسه.
وبما أنه لا توجد معلومات محددة حول الخصائص الفريدة لـ “Literate Agda”، إلا أنه يمكن التأكيد على أنها تدعم التعليقات وتستخدم رمزًا محددًا للتعليقات في السطر وهو “–“. تتيح هذه اللغة أيضًا إمكانية تحديد هيكلية الشفرة بشكل أفضل من خلال التباين في التنسيق والمسافات، ولكن لا يبدو أنها تدعم التنسيق الدلالي للشفرة.
يمكن استخدام الإصدارات الأولية من “Literate Agda” منذ أول إصدار لها في العام 2009، ولكن لا توجد معلومات متاحة حول النسخ السابقة لمستودعات البرمجيات المركزية أو المشروعات المفتوحة المصدر.
تتوفر ملحقة ملفات “Literate Agda” بامتداد “.lagda” ويمكن تحريرها باستخدام أي محرر نصوص عادي.
ومن الجدير بالذكر أن لغة “Literate Agda” لا تتوفر على صفحة خاصة بها على ويكيبيديا، ولذلك لا توجد معلومات توضيحية متاحة عبر هذا الوسيلة.