Skip to content

[ breaking ] change fieldname _≟_ to _≈?_ in IsDecEquivalence#2952

Merged
jamesmckinna merged 26 commits into
agda:masterfrom
jamesmckinna:issue2845
Jun 18, 2026
Merged

[ breaking ] change fieldname _≟_ to _≈?_ in IsDecEquivalence#2952
jamesmckinna merged 26 commits into
agda:masterfrom
jamesmckinna:issue2845