diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-06 17:00:46 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-06 17:00:46 +0100 |
| commit | ba63f18dafd54e49c863d6c25f7de6ca2d60987c (patch) | |
| tree | bca567f3ef5a26c203ebcd528b6fbb29cb1b715a /src/Core/Term/Substitution.idr | |
| parent | 93aae7e34e7130d9541d3441079448f156d93477 (diff) | |
Move and rename ThinWf.
Correct statement for weakening preservation.
Diffstat (limited to 'src/Core/Term/Substitution.idr')
0 files changed, 0 insertions, 0 deletions