AIM6EndingDiscussion

AIM7:

• time: nov/dec 2007 (prel. 071126-071130)
• focus: switch Agda1 -> Agda2
• lessons from AIM6
  • internet access / booking rooms / booking projector
  • daily progress reports
  • less laptops for dinner: "don't just work"
• AIM7 Programme:
  • prepare for distribution / packaging
  • documentation
  • code sprints for PLUGINS
  • compare different styles of programs and proofs (Agda1/2)
  • ?darcs-interface to Agda? [Conor]
  • ?Eclipse plugin for Agda?

Before that

• Review of Agda 2 language
  • "put conservative wet blanket on Agda2"
  • time: prel. Monday 070924
• Agda2 repository
  • (inspired by Coq, CCORN, Mizar, "Journal of Agda Pearls")
  • What can we learn from Coq, Isabelle?
  • libraries: we need a "librarian"
• Next video meeting
  • Prel. 070829 at 08.00 GMT
  • Review of Agda 2