Update Vec.lagda

Conflict of notation between |^| and |vv|
Merge pull request #2 from gallais/patch-1

Update Vec.lagda