[Agda] github.com/agda

[Jacques Carette]

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