diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-16 18:31:20 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-16 18:31:20 +0100 |
| commit | 87eea439d8d8390c768498c2224268200373f629 (patch) | |
| tree | ee0791e980d9f4679cb159f236be6e3228d0b46c /src/Core/Reduction.idr | |
| parent | 4dbdc01e4819fcd5124ad108c4b00c10652bd3cc (diff) | |
Prove weakening of type judgements.
This is a huge commit that has many more changes. I should split
this up later.
Diffstat (limited to 'src/Core/Reduction.idr')
0 files changed, 0 insertions, 0 deletions