标准库 . . . 通过 安德烈亚斯·阿贝尔 ：Agda 2.6.4.3发布 美国石油协会 . . . 2021年11月22日上午12:33由？： 标准库 . . . 2016年12月22日下午02:07 语音识别 ：标准库0.13版本 美国石油协会 . . . 2016年5月18日上午09:05 申成木 : 标准库对话 . . . 2016年3月2日上午10:17 罗宾·亚当斯 : 轻量级自由定理 . . . 2015年8月7日下午07:05 大卫·费尔 ：还原垃圾邮件 标准集成型器规则 . . . 2013年3月10日上午06:05 安德烈斯·西卡德·拉米雷斯 ：删除了空白 一些组合器 . . . 2010年4月13日下午02:53由？： 标准库中的模块 . . . 2009年4月23日下午5:24 北美 ：将大部分库文档从wiki中移开。 使用Ring Solver-Talk . . . 2009年4月22日下午07:08 北美 ：回答了一个问题。 使用环形解算器 . . . 2009年4月20日下午5:04 罗伯特·西蒙斯 : 马丁·洛夫类型理论 . . . 2008年12月2日上午09:24由？： Mltt公司 . . . 2008年12月2日上午08:25由？： MLTT公司 . . . 2008年12月2日上午7时19分，签字人： 顺序 . . . 2008年11月18日下午12:52由？：