yellowsquid/helium.git/src/Helium/Data/Pseudocode, branch axiomatic [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=axiomatic 2022-03-08T18:49:39Z Migrate to agda-stdlib-2.0-dev. 2022-03-08T18:49:39Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-08T18:49:39Z urn:sha1:69b82b0f568dd840f05f6aa9902ee6dcd5df5cad 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 function to eliminate all calls in expressions 2022-03-03T17:15:01Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-03T17:15:01Z urn:sha1:0d0d8de69677529b8d72a9015ca531694289d879 Add way to convert function calls to expressions 2022-03-03T12:14:01Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-03T12:14:01Z urn:sha1:b9bdfbc24d518492f4a61049746a750a30f0701a 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 Change stateful expressions to index on expression 2022-02-22T10:30:58Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-22T10:22:11Z urn:sha1:cdd3cfc485ee43b1a119559b3f1bb2531376f616 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