[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