[Agda-dev] Agda std-lib maintainer

[Andreas Abel]

I also think we should ask him.

On 08.06.2017 07:14, Ulf Norell wrote:
> Absolutely. I nominate @MathewDaggit.
> 
> / Ulf
> 
> On Wed, Jun 7, 2017 at 11:04 PM, Andreas Abel <abela at chalmers.se 
> <mailto: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 <mailto:andreas.abel at gu.se>
>     http://www.cse.chalmers.se/~abela/ <http://www.cse.chalmers.se/~abela/>
>     _______________________________________________
>     Agda-dev mailing list
>     Agda-dev at lists.chalmers.se <mailto:Agda-dev at lists.chalmers.se>
>     https://lists.chalmers.se/mailman/listinfo/agda-dev
>     <https://lists.chalmers.se/mailman/listinfo/agda-dev>
> 
> 

-- 
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/