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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions