diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-07-13 17:39:50 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-07-13 17:39:50 +0100 |
| commit | 725e40acb1f79af4c12886f65b7d5226daff5707 (patch) | |
| tree | 23582d709ee3640d0ea8f073de83aa49d4776b86 /bidir.agda-lib | |
| parent | 7fb8f4a222c9047e5db85f98be4a72f9f2a7f444 (diff) | |
Prove renaming is fully congruent.less-fin
Diffstat (limited to 'bidir.agda-lib')
0 files changed, 0 insertions, 0 deletions