Skip to content

Merge branch 'agda:master' into issue2845

4856ebc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

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

Merge branch 'agda:master' into issue2845
4856ebc
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
check-whitespace
succeeded Apr 15, 2026 in 6s