[Agda] Needs doing

[Catarina Coquand]

Dear all,

in August there will be a Types Summer School, and I hope we will
use Agda there. Of course there are things that needs to be done to the
system until then.

We will meet to discuss this on Wednesday, but it would be good to hear
from all other users/developers on what should and will be done until
then, so feedback is needed.


Regards

     Catarina


The meeting is Wed. 9/2 at 13.15 in  6128