Dear Andreas,<br><br>On behalf of Noam and Fredrick.<br><br>We have spend some more time working on an extended syntax for lambda expressions. It is currently <br>at status 3. The use of with and where clauses have issues, the where clauses have lambda lifting <br>
issues, with clauses have scoping issues.<br><br>We could submit a beta patch that will allow for anonymous case distinctions, but disable the use of with<br>and where clauses inside the lambda terms for now?<br><br>Best,<br>
Karim Kanso<br><br><div class="gmail_quote">On 28 April 2011 15:30, Andreas Abel <span dir="ltr"><<a href="mailto:andreas.abel@ifi.lmu.de">andreas.abel@ifi.lmu.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Hi AIM XIII participants,<br>
<br>
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.<br>
<br>
@Makoto: I do not remember all the sprints, can I find the notes online somewhere?<br>
<br>
Status:<br>
1 = finished<br>
2 = almost finished<br>
3 = still working, might take some more time<br>
4 = indefinitely postponed<br>
5 = abandoned<br>
<br>
Sprint Leader Status<br>
<br>
clean up builtins Simon 1?<br>
unquote Nicolas 3?<br>
first class lambda syntax Noam ?<br>
mutual blocks James 3?<br>
installer Makoto ?<br>
meta variables Andreas 3<br>
<br>
what else?<br>
<br>
Cheers,<br>
Andreas<br>
<br>
-- <br>
Andreas Abel <>< Du bist der geliebte Mensch.<br>
<br>
Theoretical Computer Science, University of Munich<br>
Oettingenstr. 67, D-80538 Munich, GERMANY<br><font color="#888888">
<br>
<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a><br>
<a href="http://www2.tcs.ifi.lmu.de/%7Eabel/" target="_blank">http://www2.tcs.ifi.lmu.de/~abel/</a><br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</font></blockquote></div><br>