Blaisorblade/agda-stdlib — pull request #1 by Blaisorblade (2014-09-25 02:09:00+00:00)
Title: Ease converting vector equalities to equalities

@Toxaris, *this* is the pull request with naming scheem help needed I mentioned yesterday (i.e. on Wednesday).