討論:Agda

資料來源聲明

本頁內容捌對中文維基百科的Agda條目搬來。用的版本ID是71924981。毋過這馬內容有可能又閣無仝啊。