Make Core2Core a chapter in the report. This removes some old definitions in the file and disables some content that needs rewriting.
Use the transformation pretty printer. This changes two transformations to use the new pretty printer, the rest still needs to be converted.
Add TODO.
Briefly describe all other transforms.
Update and/or remove older text.
Add some more transformations. Also, restructure the argument simplification a bit, since it turns out argument extraction applies to builtin functions as well.
Add two transforms for argument simplification. Also, add some text describing why the transforms are neccesary and how they work.
Add and improve some transformations.
Format the example sequence as lambda calculus.
Add a sequence of examples for the new transformations. The transformations themselves are not in the document yet, but this was an exploration of the possibilities.
Add a \trans command that uses the lam pretty printing.
Add support for pretty printing lambda calculus.
Use a custom selection of fonts.
Fix some typos.
Fix typo.
Add initial version of the Core2Core document. This document describes core transformations and the canonical form.