Agda (programming language)
[el] Agda
[fa] آگدا (زبان برنامه‌نویسی)
[ja] Agda
[ko] Agda
[nl] Agda
[ru] Agda
[uk] Agda
[zh] Agda
[zh-yue] Agda