[Agda] github.com/agda

[Ulf Norell]

I've invited you to the Agda github group, which should give you the rights
to create the repository.

/ Ulf

On Mon, May 27, 2019 at 6:28 PM Jacques Carette <carette at mcmaster.ca> wrote:

> Who should I talk to about getting a project (in this case, likely
> agda-categories) listed there?
>
> The fork of copumpkin/categories (aka agda/categories) is quite broken
> in 2.6. Plus a lot of that code pre-dates many useful features, so Jason
> Hu and I (and we welcome others) would like to redo it in on top of
> recent Agda (and agda-stdlib). The aim would be to migrate parts of this
> new version, once the dust settles, into the standard library.
>
> Jacques
>
> _______________________________________________
> 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/20190527/d820fe48/attachment.html>