yellowsquid/inky.git/program, branch master [no description] http://git.yellowsquid.uk/yellowsquid/inky.git/atom?h=master 2025-03-13T13:20:29Z Modify definition of data types. 2025-03-13T13:20:29Z Greg Brown greg.brown01@ed.ac.uk 2025-01-30T16:57:47Z urn:sha1:f5b75edd91389f0a45045b707abfa36c746e8d54 Add quotation to help metaprogramming. 2025-01-07T13:50:13Z Greg Brown greg.brown01@ed.ac.uk 2025-01-07T13:50:13Z urn:sha1:f2490f5ca35b528c7332791c6932045eb9d5438b Improve syntactic sugar. 2024-11-20T15:31:25Z Greg Brown greg.brown01@ed.ac.uk 2024-11-20T15:31:25Z urn:sha1:0ecd9e608ced18f70f465c986d6519e8e95b0b6b Sugar makes programs nicer to write. Add compilation to scheme. 2024-11-15T15:44:30Z Greg Brown greg.brown01@ed.ac.uk 2024-11-15T15:44:30Z urn:sha1:3caa95a139538bb07c74847ca3aba2603a03c502 Extract parser as an independent project. Write a fuelled reducer for System T. 2024-10-29T18:58:45Z Greg Brown greg.brown01@ed.ac.uk 2024-10-29T18:58:45Z urn:sha1:82783476f330801b54402bdcc4723add44a963dc Write a System T to Primrose program. 2024-10-09T15:57:47Z Greg Brown greg.brown01@ed.ac.uk 2024-10-09T15:57:47Z urn:sha1:d926ce9f2d1144f329598a30b3ed2e48899519b2