[Agda] AIM XIII code sprints
karim kanso
cskarim at swansea.ac.uk
Wed May 4 17:02:40 CEST 2011
Dear Andreas,
On behalf of Noam and Fredrick.
We have spend some more time working on an extended syntax for lambda
expressions. It is currently
at status 3. The use of with and where clauses have issues, the where
clauses have lambda lifting
issues, with clauses have scoping issues.
We could submit a beta patch that will allow for anonymous case
distinctions, but disable the use of with
and where clauses inside the lambda terms for now?
Best,
Karim Kanso
On 28 April 2011 15:30, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> 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/
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110504/fbad0f14/attachment-0001.html
More information about the Agda
mailing list