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">&lt;<a href="mailto:andreas.abel@ifi.lmu.de">andreas.abel@ifi.lmu.de</a>&gt;</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  &lt;&gt;&lt;      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>