yellowsquid/helium.git/src/Helium/Semantics/Denotational, branch axiomatic [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=axiomatic 2022-03-08T15:44:13Z Add reference substitution to terms. 2022-03-08T15:44:13Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-08T15:44:13Z urn:sha1:c86ae0d13408aa3dc2fccde9abacd116d33af7dd Add if_then_ statements 2022-02-22T13:41:21Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-22T13:41:21Z urn:sha1:209a40f37aa9667a9c03acc4f69a760061cfaeb4 Replace tup with cons and nil 2022-02-21T17:47:09Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-21T17:47:09Z urn:sha1:ba8844eb5d1af155e6be1bfd78c27043e2b5c436 Generalise slice and join into cut and splice. 2022-02-21T16:54:01Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-21T16:53:13Z urn:sha1:91cd436bce90fbcf863ecf4c1256bf4ef8769428 Introduce tuple deconstructor expressions 2022-02-21T14:48:35Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-21T14:48:35Z urn:sha1:c25d3de0bc41ed7f09ccda97b1cf16dfda09220c Replace nat indices with fins. 2022-02-21T12:18:31Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-21T12:18:31Z urn:sha1:281a29f01346bd2f00fbaca8391f38d856a45d6d Unalias bit type. 2022-02-19T16:06:57Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-19T16:06:57Z urn:sha1:5250643e58e3eb4d277178f06c8984027ca3e01a Remove declare case of Procedure. 2022-02-18T10:45:35Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-18T10:45:35Z urn:sha1:ad5322977632dd2dcec7cb75082d5c128b4a8bd5 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 Begin work on axiomatic semantics. 2022-02-16T16:00:08Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-16T16:00:08Z urn:sha1:273b6354ea17be93a0dfe4f50cd047b328762b02