[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