Update Vec.lagda

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

Update Vec.lagda
snapshot
Merge branch 'master' of https://github.com/pigworker/MetaprogAgda into solutions