diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-01 14:46:40 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-01 14:56:38 +0100 |
| commit | 5bcb0623a1b15aa2a46ab3a922c0f4b500d7d8e6 (patch) | |
| tree | 57b9e9f7a228d3228c6fa96aaa79f64f0b4cddf0 /src/Core/Term | |
| parent | 296aa178fa3012f217cab1806dc70be0a1d2b6fc (diff) | |
Make the thinning View uniqueness proof implicit.
Almost no users of the view use this proof. Hide the details from users.
Diffstat (limited to 'src/Core/Term')
0 files changed, 0 insertions, 0 deletions