[Agda-dev] Agda std-lib maintainer

[Andreas Abel]

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/