[ add ] `Relation.Binary.Properties.PartialSetoid`#2678

MatthewDaggitt merged 3 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:per-consequencesjamesmckinna/agda-stdlib:per-consequencesCopy head branch name to clipboard