yellowsquid/correct-obs.git/src/Core/Environment, branch nameless [no description] http://git.yellowsquid.uk/yellowsquid/correct-obs.git/atom?h=nameless 2023-04-16T17:31:20Z Prove weakening of type judgements. 2023-04-16T17:31:20Z Chloe Brown chloe.brown.00@outlook.com 2023-04-16T17:31:20Z urn:sha1:87eea439d8d8390c768498c2224268200373f629 This is a huge commit that has many more changes. I should split this up later. Define environment extensions. 2023-04-16T14:25:55Z Chloe Brown chloe.brown.00@outlook.com 2023-04-16T14:25:55Z urn:sha1:4dbdc01e4819fcd5124ad108c4b00c10652bd3cc