[Agda-dev] Agda std-lib maintainer

[Ulf Norell]

Absolutely. I nominate @MathewDaggit.

/ Ulf

On Wed, Jun 7, 2017 at 11:04 PM, Andreas Abel <abela at chalmers.se> wrote:

> Hi Agda developers,
>
> I think we should designate a maintainer for the std-lib, to get the pull
> requests merged.
>
> It should someone with some genuine interest in the library, with a good
> taste, fairly conservative and responsible.
>
> The library should be developed in a backwards-compatible way, without big
> revolutions, but with continuity in mind.
>
> What do you think?
>
> Best,
> Andreas
>
> --
> Andreas Abel  <><      Du bist der geliebte Mensch.
>
> Department of Computer Science and Engineering
> Chalmers and Gothenburg University, Sweden
>
> andreas.abel at gu.se
> http://www.cse.chalmers.se/~abela/
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20170608/28719d90/attachment.html>