[ refactor ] exchange left and right in `Data.List.Relation.Binary.Pointwise` etc. congruence rules for `_++_`#2535

MatthewDaggitt merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:issue2532jamesmckinna/agda-stdlib:issue2532Copy head branch name to clipboard