[Agda] Standard library mailing list?

[Nils Anders Danielsson]

On 2017-05-30 15:25, Jacques Carette wrote:
> Is there a separate list (or place, such as github issues or ...) to
> ask design questions about the standard library?

I think this list is appropriate for such questions.

-- 
/NAD