Ditch a line things for 4:3 fitting.
Ditch a slide because it’s pointless.
Use the term and get it over with.
Simplify a lot of the titles.
Tidy up the parsing slide.
Tidy up the derivative slide.
Recursion.
Tweak.
Laziness tidying.
Memoization cleanup.
Nullability cleanup.
Further nullability cleanup.
Fixpoint cleanup.
Remove the consequences slide.
Remove the conjecture slide.
Tidy up parse forest.
Ad a note about ambiguity in the parse forest.
Tidy without compaction slide.
Tidy compaction slides.
Much tidying.