<div dir="ltr"><div>I've invited you to the Agda github group, which should give you the rights to create the repository.</div><div><br></div><div>/ Ulf<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, May 27, 2019 at 6:28 PM Jacques Carette <<a href="mailto:carette@mcmaster.ca">carette@mcmaster.ca</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Who should I talk to about getting a project (in this case, likely <br>
agda-categories) listed there?<br>
<br>
The fork of copumpkin/categories (aka agda/categories) is quite broken <br>
in 2.6. Plus a lot of that code pre-dates many useful features, so Jason <br>
Hu and I (and we welcome others) would like to redo it in on top of <br>
recent Agda (and agda-stdlib). The aim would be to migrate parts of this <br>
new version, once the dust settles, into the standard library.<br>
<br>
Jacques<br>
<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div>