yellowsquid/helium.git/src/Helium/Algebra/Morphism, branch axiomatic [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=axiomatic 2022-01-18T22:01:46Z Define the semantics of pseudocode data types. 2022-01-18T22:01:46Z Greg Brown greg.brown@cl.cam.ac.uk 2022-01-18T22:01:46Z urn:sha1:91bc16d54ec0a6e5d904673951fe091a9973d9b4