[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable#2958
Open
jamesmckinna wants to merge 8 commits intoagda:masterfrom
Open
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable#2958jamesmckinna wants to merge 8 commits intoagda:masterfrom
Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable#2958jamesmckinna wants to merge 8 commits intoagda:masterfrom
Commits
Commits on Mar 2, 2026
Commits on Mar 3, 2026
- committed