yellowsquid/correct-obs.git/src/Core/Declarative, branch master

yellowsquid/correct-obs.git/src/Core/Declarative, branch master [no description] http://git.yellowsquid.uk/yellowsquid/correct-obs.git/atom?h=master 2023-04-08T13:56:31Z Define substitution judgements. 2023-04-08T13:56:31Z Chloe Brown chloe.brown.00@outlook.com 2023-04-08T13:56:31Z urn:sha1:e3e810024343f0262b452cd9825ac77c6c897c16 This completes the core rules and semantics.