[Agda] Standard library mailing list?

[Ulf Norell]

More in depth discussion is probably better to carry out on the github
issue tracker, since it's a bit more persistent than an email thread.

/ Ulf

On Tue, May 30, 2017 at 3:31 PM, Nils Anders Danielsson <nad at cse.gu.se>
wrote:

> 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
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170530/87744ba8/attachment.html>