[ add ] Pointwise lifting of algebra to Data.Vec.Functional (Functional vector module #1945 redux)#2817

e-mniang wants to merge 6 commits intoagda:masteragda/agda-stdlib:masterfrom

e-mniang:updating-pr-1945e-mniang/My-agda-stdlib:updating-pr-1945Copy head branch name to clipboard