[ new ] associativity of Appending#2023

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

laMudri:Appending-assoclaMudri/agda-stdlib:Appending-assocCopy head branch name to clipboard