06 — Undo as computation

After this lesson you will be able to say why undo in Loom is a delta rather than a saved copy, invert each of the four operations from memory, explain why inversion has to walk the delta forwards, say which operation is expensive to undo and what that costs the system, and give the reason the log only ever grows.

Prerequisites: 01, 02, 03, 04, 05.