diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-18 09:28:00 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-18 09:28:00 +0200 |
| commit | 01273a8a6109d9e45c9c24b6049c63f8321de403 (patch) | |
| tree | 843da6c59bfa64b49d5d6db28758ac63d055e4b4 /CheckInsert.agda | |
| parent | 511c9d49c5f9dc4e3df11d718bd98a95acc77a7d (diff) | |
| parent | ed83433e106de891931eb3aeb350da5ef8ef0dac (diff) | |
| download | bidiragda-01273a8a6109d9e45c9c24b6049c63f8321de403.tar.gz | |
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.
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions