Agenda TBD

Jump to bottom Edit New page

Jacques Carette edited this page Aug 29, 2025 · 2 revisions

Note that this file will move once the next meeting is scheduled.

are design bugs considered bugs? And what's the line between a design bug and a sub-optimal design? Arose in agda/agda-stdlib#2807.
naming convention for monomorphism witnessing inclusion; canonical projection onto a quotient. Arose in agda/agda-stdlib#1899