[Agda] Talk on Agda 2

[Ulf Norell]

Hi all,

This Wednesday at 13.15 there will be a progress report on Agda II.  
As you all know(?) we had a short Agda Implementors' Meeting after  
the summer school with a sizable japanese delegation, and after that  
Jeff Polakow stayed for another week, during which we discussed the  
implementation of Agda II. In the talk we will present the results of  
these discussions.

Speakers: Ulf Norell
           Catarina Coquand
           Thierry Coquand
Place:    5453
Time:     Wednesday 13.15

/ Ulf