Rewrite the parse forest bit.
Compaction and performance.
Recursion.
How to deal with it.
DEAL WITH IT
Laziness.
Discuss nontermination one at a time.
Memoization.
Rework the second slide.
“Implementations” is clearer.
Extra space.
Actually nullability turns out to be fearsome.
Use the lunate epsilon.
Discuss fixpoints.
Discuss the conjecture that nullability converges in one iteration.

This is probably out of scope for the talk, and @mattmight may have
actually disproven it, so it will probably be reverted.
Don’t use trailing periods as these aren’t sentences.
Discuss fixpoints in ObjC and Swift.
Rewrite the compaction slide.
Talk about perf in the context of compaction.
Common challenges.