AIM 6 Ending Discussion

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