sum as an accumulating fold; sum-++ by way of fold-++#1712

jamesmckinna wants to merge 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:fold-sumjamesmckinna/agda-stdlib:fold-sumCopy head branch name to clipboard