yellowsquid/helium.git/src/Helium/Instructions/Instances, branch axiomatic [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=axiomatic 2022-02-17T16:34:54Z Make call and invoke take All instead of tuple. 2022-02-17T16:34:54Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-17T16:34:54Z urn:sha1:60b201d0c8752b84194753bb72eee777bf245fe3 Write pseudocode definition of Barrett reduction 2022-02-13T15:28:51Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-13T15:28:51Z urn:sha1:d00c4d301f2995ac40a011b711f2c16526e188b8