- 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
- code sprints for PLUGINS
- compare different styles of programs and proofs (Agda1/2)
- ?darcs-interface to Agda? [Conor]
- ?Eclipse plugin for Agda?
- 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
Powered by PmWiki