图书馆.标准图书馆 . . . 签字人： 主页 . . . 签字人： Main.下载 . . . 通过 语音识别 ：发布了Agda 2.6.3。 Main.AIMXXXVI公司 . . . 通过 托马斯·拉米奥 : Main.Agda会议 . . . 通过 托马斯·拉米奥 : 主AIM . . . 签字人： 主AIMO组织者指南 . . . 签字人： Main.AIMXXI公司 . . . 通过 奥雷斯蒂斯·梅尔科尼安 ：将Google Drive链接添加到幻灯片。 主要黑客准备 . . . 通过 阿努伊茨 : 网站.SideBar . . . 签字人： 主菜单。如何操作 . . . 签字人： 主要文件 . . . 签字人： 主要课程 . . . 签字人： Main.Getting已启动 . . . 签字人： 主要图书馆 . . . 签字人： 主要、其他资料 . . . 签字人： 使用Agda的主要纸张 . . . 通过 加莱 ：修复LMCS链接 主AIMXXXV . . . 通过 奥雷斯蒂斯·梅尔科尼安 : 图书馆.AOPA …2021年11月22日上午12:33由？： 主要历史记录 …2021年10月20日上午07:37 主要社区 …2021年9月28日凌晨01:24 雅克·卡雷特 : Main.AIMXXIV公司 …2021年6月11日下午05:55由？： 主AIMXXIV包装 …2021年6月11日下午03:43 主AIMXXIII …2021年5月26日下午12:13由？： Main.AIMXXII公司 …2020年10月24日上午09:38 Main.AIMXXIII卷 …2020年10月23日下午01:43 AIMXIII.Logo竞争 …2020年7月27日上午07:31 参考手册总计 …2020年7月3日上午08:35 法比安·昆泽 ：Coq允许的不仅仅是基本递归定义，例如fib。 站点页面操作 …2020年3月20日下午01:08 以利亚ITA ：已禁用 2007年夏季学校主要类型 …2019年10月29日上午09:31 加莱 ：已删除垃圾邮件 主AIMXXX …2019年9月18日上午08:59 许创杰 ：整理参与者名单 AIMXXX总结 …2019年9月17日下午06:42 约翰·利奥 : 主窗口 …2019年8月2日下午07:36 ForkedReferenceManual.记录 …2019年4月26日下午01:03 加莱 ：恢复故意破坏 主AIMXXIX …2019年3月19日上午07:50 你你 ：总结会议（第7天） 参考手册2.源文件 …2018年12月14日，下午06:47，签字人： 参考手册2.相互声明 …2018年12月14日，下午06:46，签字人： 参考手册2.Mixfix …2018年12月14日，下午06:46，签字人： 参考手册2.文字 …2018年12月14日，下午06:46，签字人： 参考手册2.词汇事项 …2018年12月14日下午06:45 参考手册2.简介 …2018年12月14日下午06:45 参考手册2.标识符 …2018年12月14日，下午06:44，签字人： 参考手册2.固定 …2018年12月14日，下午06:44，签字人： 参考手册2.相关类型 …2018年12月14日，下午06:43，签字人： 参考手册2.数据 …2018年12月14日，下午06:43，签字人： 参考手册2.核心语法 …2018年12月14日，下午06:43，签字人： 参考手册2.编译 …2018年12月14日，下午06:42，签字人： 参考手册2.注释 …2018年12月14日，下午06:41，签字人： 参考手册。参考手册 …2018年12月14日，下午06:40，签字人： 参考手册属性 …2018年12月14日下午06:39由？： 参考手册概述 …2018年12月14日下午06:38由？： 参考手册非递归解析ForInstanceArguments …2018年12月14日下午06:37由？： 参考手册.带实例参数的建模类型类 …2018年12月14日下午06:36由？： 参考手册核心语法 …2018年12月14日下午06:35由？： 参考手册.BadInHaskell …2018年12月14日下午06:35由？： ReferenceManual.编译器 …2018年12月14日下午06:33由？： 文档.HowToSeeUnicode …2018年12月14日下午06:32由？： 参考手册.Emacs …2018年12月14日下午06:31由？： 参考手册.相互 …2018年12月14日下午06:31由？： 参考手册模式匹配Lambdas …2018年12月14日下午06:30 参考手册.代码类型 …2018年12月14日下午06:30 参考手册.词汇事项 …2018年12月14日下午06:29由？： 参考手册.ImplicitArg …2018年12月14日下午06:29由？： 参考手册.本地定义 …2018年12月14日下午06:28由？： 参考手册。有表述 …2018年12月14日下午06:27由？： 参考手册参数化电感类型 …2018年12月14日下午06:26由？： 参考手册.简单导体类型 …2018年12月14日下午06:26由？： 参考手册.导电数据类型和模式匹配 …2018年12月14日下午06:25由？： 参考手册.查找隐式参数的值 …2018年12月14日下午06:24由？： 参考手册.Agda计划的结构 …2018年12月14日下午06:22由？： 参考手册.简介 …2018年12月14日下午05:39由？： 参考手册.标准库 …2018年12月14日下午5时24分，签字人： 参考手册.LiterateAgda …2018年12月14日下午5:19 参考手册.ForeignFunctionInterface …2018年12月14日下午5:18 参考手册编译 …2018年12月14日下午5:18 参考手册.语用 …2018年12月14日下午5:17 参考手册。无关性 …2018年12月14日下午5:15 参考手册.反思 …2018年12月14日下午5点13分，签字人： 参考手册.宇宙多态性 …2018年12月14日下午5点12分，签字人： 参考手册.终止检查器 …2018年12月14日下午04:35由？： 参考手册模块 …2018年12月14日，下午04:00，签字人： 参考手册.模式匹配 …2018年12月14日下午03:58 参考手册功能 …2018年12月14日下午03:57 参考手册假设 …2018年12月14日下午03:56 参考手册.记录教程 …2018年12月14日下午03:56 参考手册记录 …2018年12月14日下午03:55 参考手册数据 …2018年12月14日下午03时52分，签字人： 参考手册.声明 …2018年12月14日下午03时51分，签字人： 参考手册模式匹配Lambdas …2018年12月14日下午03:49 参考手册.实例参数 …2018年12月14日下午03:48 参考手册.隐含参数 …2018年12月14日下午03:46 参考手册.固定装置声明 …2018年12月14日下午03:45 参考手册.Mixfix …2018年12月14日下午03时44分，签字人： 参考手册布局 …2018年12月14日下午03时43分，签字人： 参考手册.关键词 …2018年12月14日下午03:42 参考手册名称 …2018年12月14日下午03:41 参考手册.文字 …2018年12月14日下午03:40 参考手册注释 …2018年12月14日下午03:39 参考手册.源文件 …2018年12月14日下午03:38 Main.AIMXVIII公司 …2018年11月11日下午01:45 尼古拉 : 马隆佐博士 …2018年10月12日，09:11 PM，签字人： 主AIMXXV …2018年10月6日下午09:54 乔纳森·普列托·库比德斯 ：修复了输入错误 Main.MacOSX公司 …2018年7月15日11:56 PM 乔米·科库特 ：修复输入错误：adga->agda 主AIMXXVII …2018年6月8日上午07:38 AIMXXVII.AIMXVII …2018年4月11日上午09:49由？： 主插座 …2018年2月5日，10:04 PM，签字人： AIMXVI.总结 …2018年2月5日下午01:22 安德烈亚斯·阿贝尔 : 主AIMXVI …2018年2月5日下午01:02 安德烈亚斯·阿贝尔 : 参考手册.TOC …2018年1月22日下午03:17 语音识别 ：删除了损坏的项目 参考手册.本地定义 …2018年1月22日下午03:13 语音识别 ：移至阅读文档 如何从源代码生成网页 …2018年1月21日下午03:52 语音识别 ：移至阅读文档 文档.Unicode输入 …2018年1月21日下午03:40 语音识别 : Main.自动 …2018年1月21日下午03:30 语音识别 ：移至阅读文档 参考手册.EmacsInterface …2018年1月21日凌晨02:08 语音识别 ：清洁 编辑类型检查和编译AgdaCode的主快速指南 …2018年1月20日下午06:20 语音识别 ：移至阅读文档 键盘输入的主注释 …2018年1月20日下午03:16 语音识别 ：移至阅读文档 Cabal.Linux（有线电视） …2017年12月27日下午06:22 语音识别 ：移动安装说明以阅读文档 主自由BSD …2017年12月27日下午03:05 语音识别 ：移动安装说明以阅读文档 主Linux …2017年12月27日下午03:04 语音识别 ：移动安装说明以阅读文档 Main.缩写 …2017年11月29日下午03:48 PmWiki.Url批准 …2017年10月8日下午02:17 加莱 ：删除垃圾邮件 主窗口注释2-4-2 …2017年9月23日上午07:30 AIMXXV.总结 …2017年5月15日下午5:10 加莱 ：今天的总结 主要Agda实施者会议二十五 …2017年5月2日下午07:41 维克托·洛佩斯·胡安 : 主要.图书馆和其他开发项目 …2017年4月29日上午12:13由？： 主要。使用Agda的论文 …2017年4月18日上午09:38 加莱 ：新纸张 参考手册。Agda参考手册 …2017年4月14日下午03:44 语音识别 ：将“自动”文档移至用户手册 Main.自动 …2017年4月14日下午03:38 语音识别 ：移至用户手册 主要文件 …2017年4月11日下午01:07由？： 参考手册.语用 …2017年3月30日下午02:32 语音识别 ：将`--with-K`和`without-K`的文档移到用户手册中 Main.阿格达 …2017年3月20日下午04:39 维克托·洛佩斯·胡安 ：AIM XXV的时间 开发人员手册.错误修复 …2017年3月18日下午5:19 schatzmann320型 ：修复输入错误 Linux-Talk电缆 …2017年3月9日下午06:20 驼背 : Cabal.Linux（有线电视） …2017年3月9日下午06:03 驼背 ：正在修复缩进：“@@sudo cabal安装…”到“**@@sudo-cabal安装…” 主要Agda会议 …2017年3月8日下午02:24由？： 文档.Unicode输入 …2017年3月2日下午07:36 细腻的 : 主要功能请求 …2017年2月27日下午08:54 加莱 ：更新错误跟踪器的链接 ReferenceManual.Core语法 …2017年1月17日下午03:23 语音识别 ：删除了关于所有的不正确文档 图书馆.标准图书馆 …2016年12月22日下午02:07 语音识别 ：标准库0.13版本 Main.下载 …2016年12月22日下午01:19 语音识别 ：Agda 2.5.2版本 主要Agda实施者会议二十四 …2016年11月14日下午02:19由？： AIMXXIV.分析器错误 …2016年10月10日下午01:36 维克托·洛佩斯·胡安 ：一些人收集了情报 主AIMXXIV …2016年9月14日下午12:07由？： 阿格达与Coq-Talk的主要对比 …2016年9月14日上午11:37 加莱 ：修复链接 主要.非编程设备Agda的源安装 …2016年7月27日下午5:17 安德烈亚斯 : AIMXXIII.标志竞赛 …2016年7月18日，08:46 PM，作者： Main.X作曲 …2016年7月14日下午12:29 阿克尔 ：外观编辑 主要发行说明 …2016年6月21日下午03:08 语音识别 ：发布说明可从Hackage获得 主要出版物 …2016年6月14日下午03:58 加莱 ：直接链接到PapersUsingAgda 图书馆.AOPA …2016年5月18日上午09:05 申成木 : 主要课程使用Agda …2016年5月14日下午04:19由？： 主要Agda实施者会议二十三 …2016年5月2日晚上11:12由？： AIMXXIII.Agda实施者会议二十三进度总结 …2016年4月26日下午5:11 加莱 : 主要功能请求-对话 …2016年4月25日上午10:05 罗宾 ：Ctrl-C Ctrl-C引入模式匹配lambda 主要。编辑、类型检查和编译Agda代码的快速指南 …2016年4月21日下午06:44由？： Docs.Emacs模式键组合 …2016年4月21日下午06:43 开发人员手册.语法概述 …2016年4月20日下午12:07由？： 图书馆.标准图书馆谈话 …2016年3月2日上午10:17 罗宾·亚当斯 : 参考手册。有表述 …2016年2月17日上午09:42由？： 主要目录 …2016年1月17日下午06:40由？： 主要文件内容 …2016年1月17日下午06:36由？： 主文件访问 …2016年1月17日下午06:31由？： 主模式匹配 …2016年1月17日下午06:26由？： Main.哈希 …2016年1月17日下午06:20由？： 主阵列 …2016年1月17日下午06:16由？： 主要日期和时间 …2016年1月17日下午06:11由？： 主要编号 …2016年1月17日下午06:06由？： 主菜单：阿格达食谱 …2016年1月17日下午06:00由？： 主要字符串 …2016年1月17日下午5:57 参考手册。模式匹配Lambdas …2016年1月8日下午5:15 参考手册.外部功能接口 …2016年1月2日，11:05 PM，签字人： 主要Linux预构建包 …2015年12月17日下午04:17由？： 主要教程 …2015年12月14日下午06:35 法雷尔 ：添加OPLSS 2013链接 AIMXII.AIM XII注释 …2015年12月6日上午10:48 主要Agda实施者会议二十二 …2015年9月29日上午07:59 沃尔夫拉姆·卡尔 ：更改了我演讲的标题以符合幻灯片 参考手册.宇宙多态性 …2015年9月15日晚上10:07 谢玉恒 : 主要新外国金融机构 …2015年9月7日，09:13 PM，提交人： 主要历史记录 …2015年8月23日下午01:21 网站.SideBar …2015年8月9日下午10:37 语音识别 ：问题在GitHub中报告 图书馆.轻量级自由定理 …2015年8月7日下午07:05 大卫·费尔 ：还原垃圾邮件 主要。在Agda中使用缩写模式 …2015年6月20日下午04:58 Clément公司 ：此处无需使用lambda 主要Agda实施者会议二十一 …2015年6月15日上午08:52 乌尔夫 ：链接到我的演讲 Main.AIMXXI总结会议 …2015年6月9日下午01:27 Main.MacOSX公司 …2015年6月8日下午12:29 安德烈亚斯 : 参考手册模块 …2015年6月5日下午10:39 丝廷 ：要使用的多个参数是分号，而不是连字符 主AIMXXI-通话 …2015年5月28日下午01:08 汤姆 ：请求 主版本2-4-0 …2015年5月25日11:42 PM 语音识别 ：对Agda 2.4.0使用黑客链接 主要版本候选 …2015年5月19日下午03时28分 语音识别 ：我无法加载.tar.gz文件 主要Agda发行候选 …2015年5月19日下午03:01 语音识别 : 主AIMXX …2015年5月1日上午11:38 塔尔莫·乌斯塔卢 : PmWiki.安全 …2015年3月8日上午08:52 科弗尔 ：安全手册 主要。识字阿格达 …2015年2月3日下午03:03 加莱 ：已知问题 主窗口 …2015年1月14日11:08 PM 亚伦·斯塔姆 ：添加了2.4.2.2 Windows MSI的链接 主要社区 …2015年1月12日07:13 PM 语音识别 : 参考手册编译 …2014年12月23日，09:35 PM zachmoore99aTgmailpointcom ：从代码中删除了随机红色链接 参考手册记录教程 …2014年12月17日，07:11 PM 特维 ：在递归记录上添加小部分，因为信息很难找到。 参考手册功能 …2014年12月6日凌晨02:23 彼得·塞林格 ：所有->所有 参考手册数据 …2014年12月6日上午01:19 彼得·塞林格 ：已更改“universe”的超链接 ReferenceManual.实例参数 …2014年12月5日下午5:07 彼得·塞林格 ：添加了“forall” ReferenceManual.隐式参数 …2014年12月5日下午5:01 彼得·塞林格 ：为隐式参数添加了“forall”synax ReferenceManual.使用实例参数建模类型类 …2014年12月4日下午07:25 彼得·塞林格 ：尝试重定向 参考手册。无关性 …2014年12月2日上午05:52 彼得·塞林格 ：插入的目录链接 参考手册总计 …2014年12月2日上午05:51 彼得·塞林格 ：插入的目录链接 参考手册.反思 …2014年12月2日上午05:51 彼得·塞林格 ：插入的TOC链接和语法 参考手册布局 …2014年12月2日凌晨04:48 彼得·塞林格 ：添加了关于例外情况的备注 参考手册假设 …2014年12月2日凌晨04:17 彼得·塞林格 ：打字 参考手册.声明 …2014年12月2日凌晨02:24由？： 添加固定性声明 参考手册.固定声明 …2014年12月2日凌晨02:23由？： 标点符号 参考手册.实例参数的非递归解析 …2014年12月2日，上午02:12，签字人： 插入的目录链接 参考手册.Mixfix …2014年12月2日，上午01:12，签字人： 修复了“多个名称部分”的拼写错误。 例如，_x、x_、_x_都只有一个名称部分。 Haskell中的ReferenceManual.Bad …2014年11月29日上午01:09由？： 使缩进一致 Main.AIMXX总结 …2014年10月22日下午12:13由？： 主Windows注释2-4-2 …2014年10月22日上午08:44由？： Main.AIMXX规划 …2014年10月20日上午11:06由？： 参考手册.模式匹配 …2014年10月10日下午03时26分，由？： 主要.直觉主义拉姆齐定理 …2014年10月5日，08:03 PM 谢尔盖·罗曼年科 ：拼写错误的更正。 文档。如何在Emacs中查看Unicode …2014年9月25日下午04:32 安德烈亚斯 : 参考手册.文字 …2014年7月21日，12:05 PM，作者： 删除了垃圾邮件链接 Windows.Windows安装程序说明 …2014年6月17日上午06:38由？： 打字错误 开发者手册.TOC …2014年6月12日下午03:34 安德烈斯·西卡德·拉米雷斯 ：s/GHCI/GHCI和s/GHCI/GHCI 主README-2-4-0 …2014年6月5日下午12:31由？： 2.4.0自述文件 主AIMXIX …2014年5月28日下午07:49 安德烈亚斯·阿贝尔 : PmWiki.安全变量 …2014年3月12日上午09:21由？： 参考手册.关键词 …2014年2月7日下午04:51 安德烈斯·西卡德·拉米雷斯 ：已从关键字列表中删除代码数据 参考手册2.编译 …2014年1月27日，上午01:56，签字人： 参考手册。原始无关性 …2013年12月1日12:25 AM wj公司 ：不再需要页面。 主Windows注释-2-3-2 …2013年11月25日，晚上10:38 主VIM编辑 …2013年11月16日，09:29 PM，作者： 主要性能提示 …2013年11月6日下午02:43 巴斯·德克斯 ：缺少字母 使用Agda的主要课程 …2013年11月2日下午08:31 安德烈亚斯·阿贝尔 : 参考手册简介 …2013年11月2日上午06:37 自由区 ：输入错误 主README-2-3-2-2 …2013年10月30日下午5:41 北美 ：发布Agda 2.3.2.2。 主版本-2-3-2-2 …2013年10月30日下午05:39 北美 ：发布Agda 2.3.2.2。 简介Wojciech Jedynak …2013年10月7日，07:54 PM，提交人： 主要负责人：马可·布亚蒂 …2013年9月27日，08:20 PM 北美 ：回滚。 主PmWiki …2013年9月27日下午08:19 北美 ：回滚。 主要Agda实施者会议十八 …2013年9月23日下午5:12 丹（danr） ：链接到Thierry的演讲 参考手册终止检查器 …2013年9月11日下午01:56 次要语言修复 主README-2-3-2-1 …2013年6月11日下午04:55 安德烈斯·西卡德·拉米雷斯 ：固定README-2-3-2-1 主版本-2-3-2 …2013年6月11日下午12:59由？： 更多“--”格式正确 主README-2-3-2 …2013年6月11日上午12:11 安德烈斯·西卡德·拉米雷斯 ：添加README-2-3-2 主版本-2-3-2-1 …2013年6月10日下午06:59 安德烈斯·西卡德·拉米雷斯 ：Agda 2.3.2.1的发行说明。 AIMXVII主要记录 …2013年6月7日上午03时54分？： 主AIMXVII …2013年6月6日上午07:15 参考手册2.固定 …2013年5月28日上午09:02由？： 文档模块系统 …2013年5月4日凌晨01:00 丹·克雷杰萨 ：f不在g定义的范围内。更改为B.f。 参考手册.本地定义 …2013年4月19日下午04:11 安德烈斯·西卡德·拉米雷斯 ：固定打字错误 主AIMXVI …2013年3月11日上午10:44 佩特迪瓦恩斯基 ：https-->http 图书馆.标准集成型器规则 …2013年3月10日上午06:05 安德烈斯·西卡德·拉米雷斯 ：删除了空白 主代码冲刺 …2013年1月29日上午08:59由？： 参考手册记录 …2013年1月21日下午02:10 加莱 ：固定记录声明的一般形式以匹配实际实现 参考手册名称 …2012年12月11日上午05:45 安德烈斯·西卡德·拉米雷斯 ：名称部分中不允许使用固定字符 参考手册。Agda程序的结构 …2012年11月11日凌晨02:35由？： 参考手册。查找隐式参数的值 …2012年11月7日下午12:10 安德烈亚斯·阿贝尔 : D-案例-Agda。 “Agda中的D-Case”验证工具（D-Case/Agda） …2012年11月6日下午02:30由？： Main.AIMXVI代码冲刺 …2012年10月12日，11:17 PM 彼得·迪维安斯基 ：错误639尚未修复 马隆佐博士 …2012年10月11日，11:06 PM 命名数据 ：修复IO链接 参考手册。故障排除 …2012年10月10日下午04:59 丹尼尔·古斯塔夫森 ：添加了故障排除部分，用于显示常见问题的修复。 参考手册.相互 …2012年10月9日上午10:39由？： 参考手册属性 …2012年10月9日上午10:05由？： 参考手册.键入规则 …2012年10月9日上午10:04由？： 参考手册模块对话 …2012年6月21日凌晨02:57 匿名 : 参考手册源文件 …2012年2月27日上午03时19分 尼尔·斯特里克兰 ：各种附加评论 参考手册.标准库 …2012年2月25日晚上10:09 x赫兹 : 参考手册.Emacs界面 …2012年2月25日下午06:49 x赫兹 : 主AIMXV …2012年2月25日上午10:00？： 参考手册注释 …2012年2月24日下午02:49由？： 文档.旧文档 …2012年2月24日下午02:49由？： 参考手册.TOC …2012年2月24日下午02:46由？： 参考手册.归纳数据类型和模式匹配 …2012年2月24日下午02:45由？： 参考手册2.文字 …2012年2月24日下午02:31由？： 参考手册2.TOC …2012年2月24日上午10:30 x赫兹 : 参考手册2.注释 …2012年2月24日上午08:42由？： 参考手册2.数据 …2012年2月22日下午09:34 x赫兹 : 参考手册2.核心语法 …2012年2月22日下午08:07 x赫兹 : 参考手册2.名称 …2012年2月22日下午07:56 x赫兹 : 参考手册2.源文件 …2012年2月22日下午06:24 x赫兹 : 参考手册2.独立类型 …2012年2月22日上午10:52 x赫兹 : 参考手册2.标识符 …2012年2月21日下午08:43 x赫兹 : 参考手册2.相互声明 …2012年2月21日下午06:52 x赫兹 : 参考手册2.词汇事项 …2012年2月21日下午06:35 保罗 ：格式化 参考手册2.Mixfix …2012年2月21日下午06:19 保罗 ：提及前缀表示法 参考手册2.简介 …2012年2月21日下午06:16 x赫兹 : ReferenceManual.编译器 …2012年2月21日下午04:30 x赫兹 : Main.入门 …2012年2月20日下午06:33由？： 参考手册。模式匹配Lambdas …2012年2月20日下午06:04 ReferenceManual.使用实例参数建模类型类-对话 …2012年1月31日12:07 AM 厄罗斯 : ! Main.VIM编辑对话 …2012年1月18日下午01:28 厄罗斯 : 参考手册。简单感应类型 …2011年12月8日下午5:53 沃伊切赫·杰迪纳克 ：添加链接 主README-2-3-0 …2011年11月23日上午10:22 乌尔夫 : 主版本-2-3-0 …2011年11月23日上午10:21 乌尔夫 : 文档.隐含参数 …2011年11月17日下午04:09 北美 ：修复了格式错误。 D-案例-Agda.D-案例/Agda …2011年10月14日下午5:30 主Php …2011年10月14日下午4时24分由？： D-Case-Agda.顶页 …2011年10月14日下午4时22分由？： Main.Wiki沙盒 …2011年10月14日下午04:18 AIMXIV.图片 …2011年9月19日下午02:03由？： AIMXIV.程序等 …2011年9月16日，上午01:59，提交人： AIMXIV.代码冲刺 …2011年9月13日，08:05 PM，作者： AIMXIV.公告等 …2011年9月12日上午06:26由？： AIMXIV.周六出游 …2011年9月9日上午09:31由？： ForkedReferenceManual.记录 …2011年7月24日下午03:40 沃伊切赫·杰迪纳克 : 主标准库 …2011年7月1日下午5:09 北美 ：已将此页面与Librarys.StandardLibrary合并。 Windows.Windows安装程序杂项。 笔记 …2011年6月15日上午05:32 Windows注释 …2011年6月15日上午05:20由？： PmWiki.受众 …2011年6月13日上午11:16 北美 : AIMXIII.程序等。 …2011年5月25日下午5:52 安德烈斯·西卡德·拉米雷斯 ：为AIMXIII演讲添加幻灯片 私人维基博士 …2011年5月21日上午10:52由？： 主要史诗 …2011年4月27日下午04:15 北美 ：修复了一些格式错误。 参考手册.非标准隐式参数的非递归解析 …2011年4月21日下午03:14 多米尼克·德弗里斯 ：第一版 ReferenceManual.用非标准隐式建模类型类 …2011年4月21日下午02:55 多米尼克·德弗里斯 ：有关ModelingTypeClassesWithNon-canonicalImplicits的更多详细信息 参考手册.非规范隐式参数 …2011年4月21日下午02:26 多米尼克·德弗里斯 ：第一版 AIMXIII.代码冲刺讨论 …2011年4月12日下午03时39分由？： AIMXII.AIMXIV公司 …2011年4月12日下午02:07由？： 主要Agda实施者会议十三 …2011年3月15日下午03时27分 北美 ：添加了指向程序的链接。 主README-2-2-10 …2011年2月20日下午07:23 北美 ：发布Agda 2.2.10。 主版本-2-10 …2011年2月20日下午07:23 北美 ：发布Agda 2.2.10。 参考手册。共性数据类型 …2011年1月1日下午01:44 北美 ：链接到描述当前实现的某些限制的消息。 参考手册.记录-谈话 …2010年11月2日上午01:58 白少勇 ：签名 主版本-2-2-8 …2010年9月28日上午10:00 安娜 : 主README-2-2-8 …2010年9月28日上午12:10 北美 ：发布Agda 2.2.8。 AIMXII.程序等。 …2010年9月24日上午06:14 北美 ：微小变化。 混合固定粘合剂。混合固定粘合剂 …2010年9月12日下午12:49由？： AIMXII.过程代数 …2010年9月7日下午04:19由？： AIMXII.Agda的未来 …2010年9月7日下午02:33由？： 主要Agda实施者会议XII …2010年9月1日下午03时23分由？： 库。一些组合器 …2010年4月13日下午02:53由？： Agda中的主要非正式争论 …2010年3月31日下午03:59 主要AIMXIUPDATES …2010年3月30日上午09:12由？： 主要Agda与Coq …2010年3月29日12:08 AM 毛茸茸的家伙 ：posessive its没有撇号 主自由BSD …2010年1月8日下午7时24分 北美 ：列出的FreeBSD包。 Linux/*BSD的主要预构建包 …2010年1月8日下午07:22 北美 ：列出的FreeBSD包。 主宇宙多态性 …2009年12月27日下午5:10 北美 ：已回复评论。 主版本-2-2-6 …2009年12月23日下午05:38 北美 ：Agda 2.2.6的发行说明。 主README-2-2-6 …2009年12月23日下午5:08 北美 ：Agda 2.2.6自述文件。 参考手册.词汇事项 …2009年12月3日下午03:16 北美 ：添加了一些保留字。 主要内容：第十届Agda实施者会议 …2009年11月28日晚上10:13 沃尔夫拉姆·卡尔 ：拼写错误已修复：分隔->分隔 参考手册.功能-对话 …2009年11月28日凌晨02:22 沃尔夫拉姆·卡尔 ：关于类型语法的基本问题。 主README-2-2-4 …2009年10月27日下午02:14 北美 ：2.2.4自述文件。 参考手册.隐式参数 …2009年10月7日上午11:00 北美 ：指出文档与实现不匹配。 主要。其他教程 …2009年9月17日下午02:39由？： 文件.FFI …2009年9月9日下午03:43 格利萨姆 ：向putStrLn示例中添加了杂注以使其正常工作 主AIMX …2009年8月31日上午11:50 乌尔夫·诺雷尔 : 主要。Agda 2版本2.2.4的发行说明 …2009年7月7日晚上10:38 北美 ：发布Agda 2.2.4。 主要.编辑类型检查和编译Agda Code-Talk的快速指南 …2009年6月18日下午12:37 北美 ：修复了断开的链接。 主要贡献 …2009年6月12日下午04:53 北美 ：合并了“库”和“贡献”页面。 主要.实现本杰明·皮尔斯在书籍类型和编程语言中的一些函数和定理 …2009年6月12日下午04:46 大卫·诺伯格 : 主要.非程序员从源安装Agda（旧版本0） …2009年6月9日，07:54 PM，提交人： 主要.非编程设备Agda的源安装 …2009年6月9日，07:53 PM，提交人： 库。标准库中的模块 …2009年4月23日下午5:24 北美 ：将大部分库文档从wiki中移开。 库。使用Ring Solver-Talk …2009年4月22日下午07:08 北美 ：回答了一个问题。 缅因州AFP暑期学校2008 …2009年4月21日下午01:04由？： 库。使用环解算器 …2009年4月20日下午5:04 罗伯特·西蒙斯 : 主要。Agda 2版本2.2.2的发行说明 …2009年4月16日11:29 PM 北美 ：发布Agda 2.2.2。 主要。Agda 2版本2.2.0的发行说明 …2009年4月16日晚上10:46 北美 : 参考手册参数化电感类型 …2009年3月18日下午02:54 西格德·梅尔德加德 ：将单词奇异化 主要。从源安装Agda后更新它 …2009年3月16日上午05:04由？： 主要.从源安装Agda以供非编程人员使用-快速检查 …2009年2月15日上午11:40由？： 打字机翻译的打字和pb-- 参考手册.Emacs …2009年1月25日上午12:55由？： 修复链接 主要图书馆 …2008年12月17日下午02:36 北美 ：添加了解析器组合器库。 Main.如何从源代码生成网页 …2008年12月10日下午5:49 北美 ：记录的agda--html。 Main.如何在La Te X文档中插入Agda代码 …2008年12月8日下午07:21 北美 ：写关于识字的阿格达。 主要入职家庭 …2008年12月8日下午06:20 彼得·贝里 ：合并列表中的行 Linux预构建包（Debian/Ubuntu） …2008年12月3日下午05:30 北美 ：更改了标题。 主Linux …2008年12月3日下午5:28 北美 ：添加了一个页面，其中包含如何安装预构建Linux软件包的说明。 Main.AIM 9代码Sprint …2008年12月3日下午02:09由？： 主要歌曲 …2008年12月2日下午12:52由？： 主要.非程序设计员从源头安装Agda-Darcs …2008年12月2日上午10:38 图书馆.马丁·洛夫类型理论 …2008年12月2日上午09:24由？： 主要.按键组合符号 …2008年12月2日上午09:24 北美 ：改进了文本，添加了空格键。 图书馆.Mltt …2008年12月2日上午08:25由？： 主要。从源代码为非程序员安装Agda …2008年12月2日上午07:45由？： 主要.从源安装Agda用于非程序员-Zlib …2008年12月2日上午07:21由？： 图书馆.MLTT …2008年12月2日上午07:19 主要.非程序员Agda的源安装-Alex …2008年12月2日上午07:17 主要.从源代码为非程序员安装Agda-二进制 …2008年12月2日上午07:17 主要。非程序员从源代码安装Agda-Happy …2008年12月2日上午07:12 主要。从Alex来源安装Agda …2008年12月2日上午07:07由？： 主要：从Ghc源安装Agda …2008年12月2日上午06:57由？： 主要。系统快速指南 …2008年12月2日上午03时25分由？： 参考手册。识字Agda …2008年12月1日上午06:17 文件.名称 …2008年12月1日上午05:46由？： 主要、其他资料 …2008年12月1日上午05:11 键盘输入的主要符号 …2008年12月1日上午03时21分由？： 主要：Agda密集会议 …2008年11月28日上午08:01由？： 主要。主要 …2008年11月28日上午07:21由？： AIM 9上的主要幻灯片 …2008年11月27日上午10:18由？： 系统.Agda …2008年11月18日下午12:55由？： 图书馆.序列 …2008年11月18日下午12:52由？： Main.早稻田 …2008年11月11日，下午03:09，作者： 修补程序。已提交 …2008年9月4日上午08:11由？： 参考手册.代码类型 …2008年8月27日下午04:09由？： 打字错误 主要讨论 …2008年7月9日下午04:18 北美 ：重新组织页面。 Docs.M Alonzo博士 …2008年6月16日下午04:13 北美 ：main具有IO（）类型的要求已被削弱。 参考手册.Emacs-Talk …2008年6月4日下午04:56 米格尔 : Site.Page操作 …2008年6月4日下午04:50 乌尔夫·诺雷尔 : 主页对话 …2008年6月4日下午04:50 乌尔夫·诺雷尔 : 主文档谈话 …2008年6月4日下午04:15 乌尔夫·诺雷尔 : 参考手册。Emacs模式键组合 …2008年6月4日下午03:20 北美 ：撤消不再有任何特殊支持。 参考手册本地定义 …2008年6月4日下午01:39 安娜·波夫 : 主要内容：第八届Agda实施者会议 …2008年6月4日下午01:29 本特 : 参考手册。如何在Emacs中查看Unicode …2008年6月4日上午10:34 本特 : 参考手册。如何在Emacs中查看Unicode …2008年6月4日上午10:25 本特 : 参考手册参考书目 …2008年6月4日上午10:18 皮埃尔 : 参考手册.数据类型 …2008年6月3日下午03:55 参考手册概述 …2008年6月3日上午10:09 皮埃尔 : 记录主工作页 …2008年6月3日上午09:55由？： 文件.TOC …2008年6月2日下午04:35 皮埃尔 : 参考手册记录 …2008年6月2日下午04:01由？： 参考文件和记录 …2008年6月2日下午03:57 参考手册。参考手册 …2008年6月2日下午03:43 主要邮件列表 …2008年5月20日下午07:39 北美 ：注意到Gmane携带Agda列表。 Docs.识字Agda …2008年5月16日上午11:00 北美 : 文件.记录 …2008年5月12日下午04:49 安娜·波夫 : 文档。如何查看Unicode …2008年5月7日下午07:00 塞缪尔·布朗森 ：抱怨上传带宽低 主目标9 …2008年5月7日上午10:16 帕特里克·詹森 : Category.Group页脚 …2008年5月6日上午12:19 塞缪尔·布朗森 ：[[PmWiki/Categories]]中的以下说明 修补程序。操作方法 …2008年5月6日上午12:18 塞缪尔·布朗森 ：嗯，这不是正确的类别语法。。。 类别.如何操作 …2008年5月6日上午12:15 塞缪尔·布朗森 : 模式.部分功能 …2008年4月16日下午02:58由？： Main.如何查看Unicode …2008年4月16日下午02:00由？： 主要。如何。。。 …2008年4月16日下午02:00由？： Main.如何查看Unicode …2008年4月16日下午01:58由？： Main.如何安装Unicode …2008年4月16日下午01:29由？： Main.如何向Agda发送补丁 …2008年4月16日下午01:26由？： 文档.模式 …2008年3月24日下午06:29 特里斯坦·威伯利 : Docs.阿隆佐 …2008年3月20日下午12:30 乌尔夫·诺雷尔 : 主要Makoto测试 …2008年3月7日下午01:46由？： 主要。Agda论文 …2008年2月6日上午09:50 帕特里克·詹森 : 文档.模式匹配 …2007年11月26日下午02:22由？： 主版本策略 …2007年11月12日下午12:13 乌尔夫·诺雷尔 ：奇偶补丁级别之间的区别 错误。报告错误 …2007年10月24日下午01:19 乌尔夫·诺雷尔 : 臭虫。老臭虫 …2007年10月24日下午01:17 乌尔夫·诺雷尔 : 文档.数据类型和函数定义 …2007年10月19日12:01 PM 安德烈亚斯·阿贝尔 : 错误.20070616-1 …2007年10月18日下午03时21分 乌尔夫·诺雷尔 ：已修复 错误.20070822-1 …2007年10月18日下午03:18 乌尔夫·诺雷尔 ：已修复 Site.Auth表单 …2007年10月17日下午04:04 乌尔夫·诺雷尔 ：添加了密码 主要类型暑期学校2007 …2007年10月17日下午03:46 乌尔夫·诺雷尔 ：已删除垃圾邮件 错误.20070702-1 …2007年10月16日下午05:37 乌尔夫·诺雷尔 ：已修复 错误.20070821-1 …2007年10月16日下午04:54 乌尔夫·诺雷尔 ：已修复 错误.20071012-1 …2007年10月16日下午04:52 乌尔夫·诺雷尔 ：已修复 错误.20071012-2 …2007年10月16日下午04:01 乌尔夫·诺雷尔 ：已修复 错误.20070628-1 …2007年10月16日下午02:34 乌尔夫·诺雷尔 ：已删除垃圾邮件 主要目标6结束讨论 …2007年10月16日下午02:34 乌尔夫·诺雷尔 ：已删除垃圾邮件 主要内容：第六届Agda实施者会议 …2007年10月16日下午02:33 乌尔夫·诺雷尔 ：已删除垃圾邮件 错误.20070606-3 …2007年10月16日下午02:33 乌尔夫·诺雷尔 ：已删除垃圾邮件 错误.20070613-1 …2007年10月16日下午02:32 乌尔夫·诺雷尔 ：已删除垃圾邮件 网站。所有最近的更改 …2007年10月16日下午02:31 乌尔夫·诺雷尔 : 错误.20070613-2 …2007年10月16日下午02:30 乌尔夫·诺雷尔 ：已删除垃圾邮件 Docs.Magic With文档 …2007年10月16日上午11:43 乌尔夫·诺雷尔 ：已删除垃圾邮件 错误.20070619-1 …2007年10月16日上午11:38 乌尔夫·诺雷尔 ：已删除垃圾邮件 错误.20070618-1 …2007年10月16日上午11:37 乌尔夫·诺雷尔 ：已删除垃圾邮件 主模块系统更加灵活 …2007年10月5日下午5:08 北美 ：描述的功能请求。 Main.隐式语法 …2007年10月3日下午04:52 乌尔夫·诺雷尔 ：修复了乱码希腊字母 错误.20070614-1 …2007年10月2日下午01:50 乌尔夫·诺雷尔 ：已修复 错误.20070627-2 …2007年10月1日下午06:22 乌尔夫·诺雷尔 ：已修复 主要。Agda语言评论 …2007年9月25日下午02:55 乌尔夫·诺雷尔 : 错误报告 …2007年9月20日下午02:46由？： Main.K规则 …2007年9月20日上午11:48 乌尔夫·诺雷尔 ：添加了指向完整堆栈示例的链接 Main.Agda语言评论 …2007年9月20日上午12:56 北美 ：描述了有关抽象的基本问题。 主要可视性和评估 …2007年9月20日上午12:56 北美 ：描述了有关抽象的基本问题。 主.隐含语法 …2007年9月19日下午06:36 北美 ：Sym可能比Refl更具说明性。 主要讨论 …2007年9月11日下午12:14 北美 ：将沃特的愿望移至讨论页。 错误.20070903-2 …2007年9月3日下午03:56 错误.20070903-1 …2007年9月3日下午03时02分由？： 错误.20070822-1 …2007年8月22日下午4时21分由？： 错误.20070821-1 …2007年8月21日下午05:59由？： 多个块中应允许主声明 …2007年8月20日下午01:24 北美 ：描述的功能请求。 错误.20070626-1 …2007年8月18日下午01:23 乌尔夫·诺雷尔 : 错误.20070628-1 …2007年8月18日下午01:20 乌尔夫·诺雷尔 : 错误.20070808-1 …2007年8月18日下午01:17 乌尔夫·诺雷尔 : 文档.数据类型和功能定义 …2007年8月18日下午01:02 乌尔夫·诺雷尔 : 文档.MagicWith …2007年8月18日下午01:01 乌尔夫·诺雷尔 : 文件.记录 …2007年8月18日下午12:58 乌尔夫·诺雷尔 : 文件模块系统 …2007年8月18日下午12:54 乌尔夫·诺雷尔 : Docs.Function语法 …2007年8月18日上午11:50 乌尔夫·诺雷尔 : 文档.隐式参数 …2007年8月18日上午11:46 乌尔夫·诺雷尔 : 文件.名称 …2007年8月18日上午11:37 乌尔夫·诺雷尔 : 主版本-2-1-2 …2007年8月16日下午04:56 北美 ：发行说明。 错误.20070815-1 …2007年8月15日下午03:14 乌尔夫·诺雷尔 ：已修复 错误.20070723-1 …2007年7月30日下午01:24 乌尔夫·诺雷尔 ：已修复 主版本-2-1-0 …2007年7月14日上午01:21 乌尔夫·诺雷尔 : 错误.20070711-1 …2007年7月12日12:27 AM 北美 ：解释了问题。 错误.20070702-1 …2007年7月2日下午03:00 北美 ：描述的错误。 错误.20070701-1 …2007年7月1日下午12:40 北美 ：描述的错误。 错误.20070627-2 …2007年6月27日下午04:56 北美 ：添加了更多信息。 错误.20070627-1 …2007年6月27日上午11:53 北美 ：添加了更多信息。 错误.20070725-1 …2007年6月25日下午09:59 乌尔夫·诺雷尔 : 错误.20070619-1 …2007年6月21日上午10:50 乌尔夫·诺雷尔 : 错误.20070619-2 …2007年6月21日上午10:07 乌尔夫·诺雷尔 : 错误.20070618-1 …2007年6月18日下午5:28 北美 ：描述的错误。 错误.20070616-1 …2007年6月16日下午01:20 北美 ：描述的错误。 错误.20070614-2 …2007年6月14日下午06:35 乌尔夫·诺雷尔 ：已修复 错误.20070606-3 …2007年6月14日下午06:02 乌尔夫·诺雷尔 ：已修复 错误.20070614-1 …2007年6月14日下午04:37 乌尔夫·诺雷尔 : 错误.20070614-3 …2007年6月14日下午03:35 北美 ：描述的错误。 错误.20070613-2 …2007年6月13日下午06:13 北美 ：描述的错误。 错误.20070613-1 …2007年6月13日下午5:02 北美 ：描述的错误。 错误.20070606-2 …2007年6月11日上午10:46 北美 ：描述的错误修复。 错误.20070607-0 …2007年6月7日下午04:18 亚历山大 : 文档.模式匹配 …2007年6月7日下午03时33分由？： 错误.20070606-4 …2007年6月7日下午01:28 安德烈亚斯·阿贝尔 : 错误.20070606-1 …2007年6月6日下午07:53 乌尔夫·诺雷尔 : 主打印重建条款 …2007年6月6日下午06:54 乌尔夫·诺雷尔 : 错误.20070604-1 …2007年6月6日下午02:23 安德烈亚斯·阿贝尔 : 错误.20070601-3 …2007年6月6日下午12:12 乌尔夫·诺雷尔 : 主要注入性 …2007年6月4日下午5:13 乌尔夫·诺雷尔 : 主版本-2-0-0 …2007年6月4日下午04:31 乌尔夫·诺雷尔 : 主版本策略 …2007年6月4日下午04:30 乌尔夫·诺雷尔 : 错误.20070530-4 …2007年6月4日下午03:48 乌尔夫·诺雷尔 : 错误.20070530-5 …2007年6月4日下午02:56 北美 : 错误.20070603-1 …2007年6月4日上午11:44 乌尔夫·诺雷尔 : 错误.20070530-2 …2007年6月4日上午11:43 乌尔夫·诺雷尔 : 错误.20070601-2 …2007年6月2日下午5:53 北美 ：描述的错误修复。 错误.20070601-1 …2007年6月1日凌晨02:59 北美 ：错误描述。 错误.20070530-7 …2007年5月30日下午06:47 乌尔夫 : 主AIM结束讨论 …2007年5月30日下午06:28 帕特里克·詹森 : 主AIM6 …2007年5月30日下午06:17 帕特里克·詹森 : 错误.20070530-1 …2007年5月30日下午03:17 乌尔夫 : 补丁程序.HowTo …2007年5月30日下午02:38 亚历山大 ：关于如何使用darcs发送补丁的小指南 错误.20070530-3 …2007年5月30日下午12:34 乌尔夫 : 错误.20070530-0 …2007年5月30日上午11:10 删除 : 错误.20070529-0 …2007年5月29日下午04:06 亚历山大 ：关于分段错误的最后评论 错误.20070528-0 …2007年5月28日下午06:34 亚历山大 ：BR 20070528-0 错误.20070527-0 …2007年5月27日下午12:16由？： Main.主页 …2007年5月26日，11:20 PM，作者： 主PmWiki …2007年5月26日晚上11:17由？：