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