دليل المسافر إلى المجرة, علوم الحاسوب, لغات برمجة, منطق رياضي

أغدا (Agda)