-
Notifications
You must be signed in to change notification settings - Fork 67
Home
Jacques Carette edited this page Apr 15, 2022
·
3 revisions
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.