AIM6结束讨论

AIM7：

• 时间：2007年11月/12月（前071126-071130）
• 焦点：切换Agda1->Agda2
• AIM6的教训
  • 互联网接入/预订房间/预订投影仪
  • 每日进度报告
  • 晚餐少用笔记本电脑：“不要只工作”
• AIM7计划：
  • 准备分发/包装
  • 文档
  • PLUGINS的代码冲刺
  • 比较不同风格的程序和证明（Agda1/2）
  • ?darcs与Agda的接口？[康纳]
  • ?Agda的Eclipse插件？

在此之前

• Agda 2语言回顾
  • “在Agda2上放置保守的湿毯”
  • 时间：预备。星期一070924
• Agda2存储库
  • （灵感来源于科克、CCORN、米扎尔《阿格达珍珠杂志》）
  • 伊莎贝尔，我们能从考克身上学到什么？
  • 图书馆：我们需要一名“图书管理员”
• 下次视频会议
  • 预处理。格林尼治标准时间08.00，070829
  • Agda 2回顾