[ refactor ] make m ≤ n argument to Data.Vec.Base.{truncate|padRight} irrelevant - #2787

[ refactor ] make m ≤ n argument to Data.Vec.Base.{truncate|padRight} irrelevant#2787

MatthewDaggitt merged 18 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:Vec-padRight-propertiesjamesmckinna/agda-stdlib:Vec-padRight-propertiesCopy head branch name to clipboard