Skip to content

Added properties about DiffList in Data.DifferenceList.Properties #3043

Open
mikedelorimier wants to merge 8 commits into
agda:masterfrom
mikedelorimier:diff-list-rel
Open

Added properties about DiffList in Data.DifferenceList.Properties #3043
mikedelorimier wants to merge 8 commits into
agda:masterfrom
mikedelorimier:diff-list-rel

Commits

Commits on Jul 1, 2026

Commits on Jul 2, 2026