最近更新

AIMXXXVIII公司. . .2024年5月19日上午07:37通过乔纳森·科茨以下为：
主页. . .2024年3月15日下午01:18通过安东·塞泽尔：为AIM XXXVIII Swansea添加日期
Agda会议. . .2024年3月15日下午01:16通过安东·塞泽尔：增加了斯旺西阿格达会议目标三十八
下载. . .2024年3月6日上午10:48通过安德烈亚斯·阿贝尔以下为：
论文使用Agda. . .2024年1月16日上午09:46通过阿努伊茨：添加我的文件
AIMXXXVII系列. . .2023年11月24日上午10:13通过L-T陈以下为：
窗户. . .2023年10月13日下午04:48通过安德烈亚斯·阿贝尔：Delete NotOneClick Windows Installer，指向agda.google（断开）
历史. . .2023年9月21日上午10:25通过蒂埃里以下为：
AIMXXXVI公司。2023年5月17日上午10:29由？：
目标. . .2023年1月20日下午06:34签字人：
AIMO组织者指南. . .2023年1月4日，08:00 pm签字人：
AIMXXI公司. . .2022年11月18日上午08:31通过奥雷斯蒂斯·梅尔科尼安：将Google Drive链接添加到幻灯片。
黑客攻击准备. . .2022年11月9日，晚上10:21通过阿努伊茨以下为：
Howto公司. . .2022年11月4日上午10:00签字人：
文档. . .2022年11月4日上午09:58签字人：
课程. . .2022年11月4日上午09:55签字人：
Getting开始. . .2022年11月4日上午09:49签字人：
图书馆. . .2022年11月3日下午12:49签字人：
其他汽车. . .2022年11月3日下午12:44由？：
AIMXXXV公司。2022年5月10日下午07:48通过奥雷斯蒂斯·梅尔科尼安以下为：
社区. . . 2021年9月28日凌晨01:24雅克·卡雷特以下为：
AIMXXIV公司. . . 2021年6月11日下午05:55由？：
AIMXXIV包装. . . 2021年6月11日下午03时43分，签字人：
AIMXXIII系列. . . 2021年5月26日下午12:13由？：
AIMXXII系列. . . 2020年10月24日上午09:38，提交人：
AIMXXIII包. . . 2020年10月23日下午01:43，由：
类型2007年暑期学校. . . 2019年10月29日上午09:31加莱：已删除垃圾邮件
AIMXXX公司. . . 2019年9月18日上午08:59徐创杰：整理参与者名单
AIMXXIX公司. . . 2019年3月19日上午07:50你你：总结会议（第7天）
AIMXVIII公司. . . 2018年11月11日下午01:45尼古拉以下为：
AIMXXV公司. . . 2018年10月6日下午09:54乔纳森·普列托·库比德斯：修复了输入错误
MacOSX公司. . . 2018年7月15日11:56 PM乔米·科库特：修复输入错误：adga->agda
AIMXXVII系列. . . 2018年6月8日上午07:38由？：
插座. . . 2018年2月5日，10:04 PM，签字人：
艾姆克斯维. . . 2018年2月5日下午01:02安德烈亚斯·阿贝尔以下为：
如何从源代码生成网页. . . 2018年1月21日下午03:52语音识别：移至阅读文档
自动. . . 2018年1月21日下午03:30语音识别：移至阅读文档
编辑类型检查和编译AgdaCode快速指南. . . 2018年1月20日下午06:20语音识别：移至阅读文档
键入键的符号. . . 2018年1月20日下午03:16语音识别：移至阅读文档
自由BSD. . . 2017年12月27日下午03:05语音识别：移动安装说明以阅读文档
Linux操作系统. . . 2017年12月27日下午03:04语音识别：移动安装说明以阅读文档
缩写. . . 2017年11月29日下午03:48由？：
Windows备注-2-4-2. . . 2017年9月23日上午07:30由？：
Agda实施者会议二十五. . . 2017年5月2日下午07:41维克托·洛佩斯·胡安以下为：
图书馆和其他发展. . . 2017年4月29日上午12:13由？：
使用Agda的论文. . . 2017年4月18日上午09:38加莱：新纸张
自动. . . 2017年4月14日下午03:38语音识别：移至用户手册
文档. . . 2017年4月11日下午01:07由？：
阿格达. . . 2017年3月20日下午04:39维克托·洛佩斯·胡安：AIM XXV的时间
Agda会议. . . 2017年3月8日下午02:24由？：
功能请求. . . 2017年2月27日，08:54下午加莱：更新错误跟踪器的链接
下载. . . 2016年12月22日下午01:19语音识别：Agda 2.5.2版本
Agda实施者会议二十四. . . 2016年11月14日下午02:19由？：
AIMXXIV系列. . . 2016年9月14日下午12:07由？：
Agda与Coq-Talk. . . 2016年9月14日上午11:37加莱：修复链接
从源头安装Agda，用于非程序员. . . 2016年7月27日下午5:17安德烈亚斯以下为：
X撰写. . . 2016年7月14日下午12:29阿克尔：外观编辑
发行说明. . . 2016年6月21日下午03:08语音识别：发布说明可从Hackage获得
出版物. . . 2016年6月14日下午03:58加莱：直接链接到PapersUsingAgda
使用Agda的课程. . . 2016年5月14日下午04:19由？：
Agda实施者会议二十三. . . 2016年5月2日，11:12 PM，签字人：
功能请求-对话. . . 2016年4月25日上午10:05罗宾：Ctrl-C Ctrl-C引入模式匹配lambda
编辑、类型检查和编译Agda代码的快速指南. . . 2016年4月21日下午06:44由：
名录. . . 2016年1月17日下午06:40由：
文件内容. . . 2016年1月17日下午06:36由？：
文件访问. . . 2016年1月17日下午06:31由？：
模式匹配. . . 2016年1月17日下午06:26由？：
哈希. . . 2016年1月17日下午06:20由？：
阵列. . . 2016年1月17日下午06:16？：
日期和时间. . . 2016年1月17日下午06:11由？：
数字. . . 2016年1月17日下午06:06？：
Agda食谱. . . 2016年1月17日下午06:00由？：
串. . . 2016年1月17日下午05:57由？：
Linux预构建包. . . 2015年12月17日下午04:17由？：
教程. . . 2015年12月14日下午06:35法雷尔：添加OPLSS 2013链接
Agda实施者会议二十二. . . 2015年9月29日上午07:59沃尔夫拉姆·卡尔：更改了我演讲的标题以符合幻灯片
新外国金融机构. . . 2015年9月7日，09:13 PM，签字人：
历史. . . 2015年8月23日下午01:21？：
在Agda中使用缩写模式. . . 2015年6月20日下午04:58Clément公司：此处无需使用lambda
Agda实施者第二十一次会议. . . 2015年6月15日上午08:52乌尔夫：链接到我的演讲
AIMXXI总结会议. . . 2015年6月9日下午01:27由：
MacOSX公司. . . 2015年6月8日下午12:29安德烈亚斯以下为：
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塔尔莫·乌斯塔卢以下为：
识字阿格达. . . 2015年2月3日下午03:03加莱：已知问题
窗户. . . 2015年1月14日11:08 PM亚伦·斯塔姆：添加了2.4.2.2 Windows MSI的链接
社区. . . 2015年1月12日下午07:13语音识别以下为：
AIMXX总结. . . 2014年10月22日下午12:13由？：
Windows备注2-4-2. . . 2014年10月22日上午08:44由：
AIMXX规划. . . 2014年10月20日上午11:06由：
直觉拉姆齐定理. . . 2014年10月5日，08:03 PM谢尔盖·罗曼年科：拼写错误的更正。
自述文件-2-4-0. . . 2014年6月5日下午12:31由？：2.4.0自述文件
AIMXIX公司. . . 2014年5月28日下午07:49安德烈亚斯·阿贝尔以下为：
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安德烈亚斯·阿贝尔以下为：
自述文件-2-3-2-2. . . 2013年10月30日下午05:41北美：发布Agda 2.3.2.2。
版本-2-3-2-2. . . 2013年10月30日下午05:39北美：发布Agda 2.3.2.2。
马可·布亚蒂. . . 2013年9月27日下午08:20北美：回滚。
私人维基. . . 2013年9月27日下午08:19北美：回滚。
Agda实施者会议十八. . . 2013年9月23日下午5:12丹（danr）：链接到Thierry的演讲
自述文件-2-3-2-1. . . 2013年6月11日下午04:55安德烈斯·西卡德·拉米雷斯：固定README-2-3-2-1
版本-2-3-2. . . 2013年6月11日下午12:59由？：更多“--”格式正确
自述文件-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由？：
AIMXVI公司. . . 2013年3月11日上午10:44佩特迪瓦恩斯基：https-->http
代码冲刺. . . 2013年1月29日上午08:59？：
AIMXVI代码Sprint. . . 2012年10月12日晚上11:17彼得·迪维安斯基：错误639尚未修复
AIMXV公司. . . 2012年2月25日上午10:00？：
入门. . . 2012年2月20日下午06:33由？：
VIM编辑对话. . . 2012年1月18日下午01:28厄罗斯以下为：
自述文件-2-3-0. . . 2011年11月23日上午10:22乌尔夫以下为：
版本2-3-0. . . 2011年11月23日上午10:21乌尔夫以下为：
菲律宾比索. . . 2011年10月14日下午04:24？：
Wiki沙盒. . . 2011年10月14日下午04:18由？：
标准库. . . 2011年7月1日下午5:09北美：已将此页面与库合并。标准库。
史诗. . . 2011年4月27日下午04:15北美：修复了一些格式错误。
Agda实施者会议十三. . . 2011年3月15日下午03时27分北美：添加了指向程序的链接。
自述文件-2-2-10. . . 2011年2月20日下午07:23北美：发布Agda 2.2.10。
版本-2-2-10. . . 2011年2月20日下午07:23北美：发布Agda 2.2.10。
版本-2-2-8. . . 2010年9月28日上午10:00安娜以下为：
自述文件-2-2-8. . . 2010年9月28日上午12:10北美：发布Agda 2.2.8。
Agda实施者会议十二. . . 2010年9月1日下午03时23分由？：
Agda中的非正式争论. . . 2010年3月31日下午3时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 PM北美：列出的FreeBSD包。
宇宙多态性. . . 2009年12月27日下午5:10北美：已回复评论。
版本-2-2-6. . . 2009年12月23日下午05:38北美：Agda 2.2.6的发行说明。
自述文件-2-2-6. . . 2009年12月23日下午5:08北美：Agda 2.2.6自述文件。
第十届Agda实施者会议. . . 2009年11月28日晚上10:13沃尔夫拉姆·卡尔：拼写错误已修复：分隔->分隔
自述文件-2-2-4. . . 2009年10月27日下午02:14北美：2.2.4自述文件。
其他教程. . . 2009年9月17日下午02:39由？：
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，签字人：
法新社暑期学校2008. . . 2009年4月21日下午01: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北美以下为：
从源安装后更新Agda. . . 2009年3月16日上午05:04由？：
非程序员从源安装Agda-快速检查. . . 2009年2月15日上午11:40由？：打字机翻译的打字和pb--
图书馆. . . 2008年12月17日下午02:36北美：添加了解析器组合器库。
如何从源代码生成网页. . . 2008年12月10日下午5:49北美：记录的agda--html。
如何在La Te X文档中插入Agda代码. . . 2008年12月8日，07:21 PM北美：写关于识字的阿格达。
归纳家庭. . . 2008年12月8日下午06:20彼得·贝里：合并列表中的行
Linux预构建包（Debian/Ubuntu）. . . 2008年12月3日下午05:30北美：更改了标题。
Linux操作系统. . . 2008年12月3日下午05:28北美：添加了一个页面，其中包含如何安装预构建Linux软件包的说明。
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北美：改进了文本，添加了空格键。
从源代码为非程序员安装Agda. . . 2008年12月2日上午7时45分，签字人：
非程序员从源安装Agda-Zlib. . . 2008年12月2日上午07:21由？：
从源头为非程序员安装Agda-Alex. . . 2008年12月2日上午07:17由？：
从源代码为非程序员安装Agda-二进制. . . 2008年12月2日上午7时17分，签字人：
从源代码为非程序员安装Agda-Happy. . . 2008年12月2日上午7时12分，签字人：
从源Alex安装Agda. . . 2008年12月2日上午07:07由？：
从源Ghc安装Agda. . . 2008年12月2日，上午06:57，签字人：
系统快速指南. . . 2008年12月2日上午03时25分，签字人：
其他汽车. . . 2008年12月1日上午5时11分，签字人：
键入密钥的符号. . . 2008年12月1日上午03时21分，签字人：
Agda密集会议. . . 2008年11月28日上午08:01由？：
主要. . . 2008年11月28日上午07:21由？：
AIM 9上的幻灯片. . . 2008年11月27日上午10:18由：
早稻田. . . 2008年11月11日下午03:09由？：
讨论. . . 2008年7月9日下午04:18北美：重新组织页面。
主页对话. . . 2008年6月4日下午04:50乌尔夫·诺雷尔以下为：
文档-对话. . . 2008年6月4日下午04:15乌尔夫·诺雷尔以下为：
第八届Agda实施者会议. . . 2008年6月4日下午01:29本特以下为：
记录工作页. . . 2008年6月3日上午09:55由？：
邮件列表. . . 2008年5月20日下午07:39北美：注意到Gmane携带Agda列表。
目标9. . . 2008年5月7日上午10:16帕特里克·詹森以下为：
如何查看Unicode. . . 2008年4月16日下午02:00由？：
如何。。。. . . 2008年4月16日下午02:00由？：
如何查看Unicode. . . 2008年4月16日下午01:58由？：
如何安装Unicode. . . 2008年4月16日下午01:29由？：
如何向Agda发送修补程序. . . 2008年4月16日下午01:26由？：
Makoto测试. . . 2008年3月7日下午01:46由：
Agda论文. . . 2008年2月6日上午09:50帕特里克·詹森以下为：
版本策略. . . 2007年11月12日下午12:13乌尔夫·诺雷尔：奇偶补丁级别之间的区别
2007年暑期学校类型. . . 2007年10月17日下午03:46乌尔夫·诺雷尔：已删除垃圾邮件
目标6结束讨论. . . 2007年10月16日下午02:34乌尔夫·诺雷尔：已删除垃圾邮件
第六届Agda实施者会议. . . 2007年10月16日下午02:33乌尔夫·诺雷尔：已删除垃圾邮件
模块系统更灵活. . . 2007年10月5日下午5:08北美：描述的功能请求。
隐式语法. . . 2007年10月3日下午04:52乌尔夫·诺雷尔：修复了乱码希腊字母
阿格达语言评论. . . 2007年9月25日下午02:55乌尔夫·诺雷尔以下为：
K规则. . . 2007年9月20日上午11:48乌尔夫·诺雷尔：添加了指向完整堆栈示例的链接
Agda语言评论. . . 2007年9月20日上午12:56北美：描述了有关抽象的基本问题。
可见性和评估. . . 2007年9月20日上午12:56北美：描述了有关抽象的基本问题。
隐式语法. . . 2007年9月19日下午06:36北美：Sym可能比Refl更具说明性。
讨论. . . 2007年9月11日下午12:14北美：将沃特的愿望移至讨论页。
在多个块中应允许更多声明. . . 2007年8月20日下午01:24北美：描述的功能请求。
版本-2-1-2. . . 2007年8月16日下午04:56北美：发布说明。
版本-2-1-0. . . 2007年7月14日上午01:21乌尔夫·诺雷尔以下为：
打印重建条款. . . 2007年6月6日下午06:54乌尔夫·诺雷尔以下为：
注入性. . . 2007年6月4日下午5:13乌尔夫·诺雷尔以下为：
版本2-0-0. . . 2007年6月4日下午04:31乌尔夫·诺雷尔以下为：
版本策略. . . 2007年6月4日下午04:30乌尔夫·诺雷尔以下为：
AIM6结束讨论. . . 2007年5月30日下午06:28帕特里克·詹森以下为：
AIM6公司. . . 2007年5月30日下午06:17帕特里克·詹森以下为：
主页. . . 2007年5月26日，11:20 PM，作者：
私人维基. . . 2007年5月26日下午11:17由？：

编辑|历史|最近的更改（全部）|搜索

页面上次修改时间：2024年5月19日上午07:37

技术支持私人维基