Home

Welcome to the agda-stdlib wiki!

What this will evolve into, who knows. In the meantime, it's a dumping ground for future projects that would just clutter up the issues with things that won't be closed in years.

Potential Projects:

• Adding to the kit on congruences and posets: A survey of congruences and quotients of partially ordered sets

Things to discuss at maintainer's meetings

• Agenda for (TBD)

Material that should be in-scope for stdlib-3.0

• follow the naming convention, where the link is to but one of the culprits
• everything labelled library-design; those are the open ones.

Breadcrumbs to material regarding design

• level of generality of specific operations vs more generic implementations, subsequently made into issue #2834.
• closed library-design issues should help us recover past decisions and discussions.