[Agda] AIM XIII code sprints

Nicolas Pouillard nicolas.pouillard at gmail.com
Thu Apr 28 16:44:23 CEST 2011


On Thu, 28 Apr 2011 16:30:51 +0200, 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?

Finished and pushed. However more cleaning could be done about coinduction
builtins.

>    unquote                        Nicolas           3?

I send patches as I test them. The core feature will be sent
today or tomorrow hopefully. Then a bunch of primitives will follow.

>    first class lambda syntax      Noam               ?
>    mutual blocks                  James             3?
>    installer                      Makoto             ?
>    meta variables                 Andreas           3
> 
>    what else?

The "hiding" feature is postponed.

Best regards,

-- 
Nicolas Pouillard
http://nicolaspouillard.fr


More information about the Agda mailing list