Skip to content

Merge branch 'master' into decidable-pointwise

05d1456
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable #2958

Merge branch 'master' into decidable-pointwise
05d1456
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
check-whitespace
succeeded Apr 7, 2026 in 7s