pigworker/MetaprogAgda — pull request #2 by gallais (2013-08-12 14:04:22+00:00)
Title: Update Vec.lagda

Conflict of notation between |^| and |vv|