这个2008年高级函数编程夏令营5月19日至24日在荷兰举行，包含Agda课程。此处将显示本课程的相关信息。
Agda分布
在此处下载Agda源代码：Agda来源
或者使用darcs获取最新版本。
darcs get—部分http://code.haskell.org/Agda
有关如何安装的更多信息，请参见下载.
课程材料/教程
可以使用darcs获取课程材料
darcs获得网址：http://www.cs.chalmers.se/~ulfn/darcs/AFP08
要更新存储库，请执行以下操作
darcs拉力
您可以浏览存储库在这里.
直接链接