yellowsquid/cfe-proof.git/src/Cfe/Expression, branch lemma3.5 [no description] http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=lemma3.5 2021-03-20T18:18:31Z Change judgement to use variable contexts. 2021-03-20T18:18:31Z Chloe Brown chloe.brown.00@outlook.com 2021-03-20T18:18:31Z urn:sha1:16afd9dff6798509a1d654b0f06e409353e01180 Add some useful context transformations. Change Language definition to respects instead of custom congruence. 2021-03-16T18:45:27Z Chloe Brown chloe.brown.00@outlook.com 2021-03-16T18:45:27Z urn:sha1:02a0f87be944b1d43fda265058b891f419d25b65 Add weakening proofs for type judgements. 2021-03-13T20:06:22Z Chloe Brown chloe.brown.00@outlook.com 2021-03-13T20:06:22Z urn:sha1:0dc59b43f78654a746ef5baaeabcc767c64ee0df Remove incomplete unrolling proof. 2021-03-05T16:16:42Z Chloe Brown chloe.brown.00@outlook.com 2021-03-05T16:16:42Z urn:sha1:a2bca9eb599e8109ba91e257ee223b39f64703c1 Separate out some Language properties. 2021-03-05T00:10:08Z Chloe Brown chloe.brown.00@outlook.com 2021-03-05T00:10:08Z urn:sha1:9c5540562f53be81bfb03ef2b96d7f59b3ddea44 Complete proofs up to Proposition 3.2 (excluding unrolling) 2021-03-05T00:04:46Z Chloe Brown chloe.brown.00@outlook.com 2021-03-05T00:00:04Z urn:sha1:5302e4a27a64cb2a97120517df4b6998da7b3168 Define expression equivalence. 2021-01-23T21:23:04Z Chloe Brown chloe.brown.00@outlook.com 2021-01-23T21:23:04Z urn:sha1:6385ceeb15670bfd3e059272e233c3d55bcb545b Define semantics of expressions. 2021-01-23T21:08:18Z Chloe Brown chloe.brown.00@outlook.com 2021-01-23T21:08:18Z urn:sha1:5c18d33d8e558068a9040c46ffc7bc17f34c29ef Define expressions 2021-01-23T20:10:39Z Chloe Brown chloe.brown.00@outlook.com 2021-01-23T20:09:11Z urn:sha1:cd8ab887cdfdf3aa8dfc66871cc27be9677945c3