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

Merge branch 'master' into issue2845

7521713
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Haskell-CI - Linux - ghc-9.12.4
succeeded Jun 18, 2026 in 3m 0s