Home

Welcome to the agda-categories wiki! This is where stuff that doesn't seem to belong anywhere else can go.

In particular, some issues have really useful information in them, and once the issue is closed, finding that gets extremely hard. So we have a page for useful information.

Some of those issues turned out to in fact be whole Projects.

Lastly, things can get really slow to typecheck, so we've collected some advice on how to deal with that.