GitHub · Where software is built

Open

No due date

Last updated Jul 9, 2025

25% complete

For issues that are so disruptive to fix that not even major versions will accommodate them

Select all issues: List view

confusion with the <code>reflexive</code> word

status: won't-fix

#1401

· mechvel opened

on Jan 17, 2021

[DRY] Reconciling the indices of <code>IsX</code> with those of the corresponding <code>RawX</code>

#2252

· jamesmckinna opened

on Jan 11, 2024

[ discussion ] alternative design for <code>Algebra.Structures.IsX</code> and <code>Algebra.Properties.X</code>

agda/agda-stdlib

#2762

· jamesmckinna opened

on Jul 9, 2025