Merge branch 'using-vec'
authorHelmut Grohne <helmut@subdivi.de>
Tue, 18 Sep 2012 07:28:00 +0000 (09:28 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 18 Sep 2012 07:28:00 +0000 (09:28 +0200)
commit01273a8a6109d9e45c9c24b6049c63f8321de403
tree843da6c59bfa64b49d5d6db28758ac63d055e4b4
parent511c9d49c5f9dc4e3df11d718bd98a95acc77a7d
parented83433e106de891931eb3aeb350da5ef8ef0dac
Merge branch 'using-vec'

Conflict in Bidir.agda:
  master removed a with i \=? j and using-vec reduced cases that became
  absurd during Vec transformation.
Bidir.agda