[Agda] AIM XIII code sprints

Andreas Abel andreas.abel at ifi.lmu.de
Thu Apr 28 16:30:51 CEST 2011


Hi AIM XIII participants,

two weeks after the end of this very successful meeting, I would like to 
know the status of the code sprints which were continued after the meeting.

@Makoto: I do not remember all the sprints, can I find the notes online 
somewhere?

Status:
   1 = finished
   2 = almost finished
   3 = still working, might take some more time
   4 = indefinitely postponed
   5 = abandoned

Sprint                           Leader            Status

   clean up builtins              Simon             1?
   unquote                        Nicolas           3?
   first class lambda syntax      Noam               ?
   mutual blocks                  James             3?
   installer                      Makoto             ?
   meta variables                 Andreas           3

   what else?

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list