Add some `_∷ʳ_` properties to `Data.Vec.Properties`#2041

Merged

MatthewDaggitt merged 9 commits intoagda:masterfrom

shhyou:some-vec-props

Sep 12, 2023

Commits on Aug 2, 2023

Commits on Aug 11, 2023

PR feedback: edit CHANGELOG and adjust init, last
shhyou
committed

Commits on Aug 30, 2023