yellowsquid/inky.git/src/Inky/Term/Pretty, branch master [no description] http://git.yellowsquid.uk/yellowsquid/inky.git/atom?h=master 2025-01-07T13:50:13Z 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. Better type errors within lets. 2024-11-18T17:04:21Z Greg Brown greg.brown01@ed.ac.uk 2024-11-18T17:04:21Z urn:sha1:3f72d28b7b348d441dde0e66e848ed4d7c16f5ba 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. Add ability to desugar terms. 2024-11-12T16:44:31Z Greg Brown greg.brown01@ed.ac.uk 2024-11-12T16:44:31Z urn:sha1:ecaf9deb4b1d2ce85617438e621690b2df3ea367 Remove `getChildren` construct---it's too niche for the core language.