yellowsquid/cfe-proof.git/src/Cfe, branch cleanup [no description] http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=cleanup 2021-04-24T14:30:30Z Cleanup Derivation. 2021-04-24T14:30:30Z Chloe Brown chloe.brown.00@outlook.com 2021-04-24T14:30:30Z urn:sha1:0708355c7988345c98961cad087dc56eeb16ea7f Reprove properties of the typing judgement. 2021-04-24T12:55:59Z Chloe Brown chloe.brown.00@outlook.com 2021-04-24T12:55:59Z urn:sha1:c58866bea6ee251868d98a3da11f64030bb00aa7 Modify Fin definitions. 2021-04-24T12:55:33Z Chloe Brown chloe.brown.00@outlook.com 2021-04-24T12:55:33Z urn:sha1:fb37a9b65813666a3963c240a1bc8f6978a4866f Rework Context one last time. 2021-04-17T12:51:47Z Chloe Brown chloe.brown.00@outlook.com 2021-04-17T12:51:47Z urn:sha1:a5e00b31b873f7deaefa7cb0f60595452f40a57c Remove unnecessary Type construction. 2021-04-12T16:35:25Z Chloe Brown chloe.brown.00@outlook.com 2021-04-12T16:35:25Z urn:sha1:7cc5e28370079de3aab98ab536ae601392c31065 Remove unnecessary comment. 2021-04-12T16:32:33Z Chloe Brown chloe.brown.00@outlook.com 2021-04-12T16:32:33Z urn:sha1:0dd077cd1f9d062bab43e1bfa4bd05e318ed09b2 Cleanup Type properties. 2021-04-12T16:32:02Z Chloe Brown chloe.brown.00@outlook.com 2021-04-12T16:32:02Z urn:sha1:f84e919e12c92c241d3d38203400c2bb14fb0017 Cleanup Type base. 2021-04-06T15:14:54Z Chloe Brown chloe.brown.00@outlook.com 2021-04-06T15:14:54Z urn:sha1:337615b3beb2e0440c2374724fae09d7ec384952 Add lexicographic expression ordering. 2021-04-06T14:12:09Z Chloe Brown chloe.brown.00@outlook.com 2021-04-06T14:08:08Z urn:sha1:e890218fab378f8e427d2d3c046875128a23d50b Clean up the Expression hierarchy. 2021-04-05T19:18:53Z Chloe Brown chloe.brown.00@outlook.com 2021-04-05T19:18:53Z urn:sha1:49a2df1e3a210cd8be69afb33f8a3b5e20e41129