Typst: Designing for Incrementality

I realized that no one had posted @laurmaedje's RustWeek talk after I commented on the post for the paper A Core Calculus for Documents (2024). While the two are at very different abstraction levels, I think they pair well together. The talk explains how Typst's language design makes incremental updates feasible and the paper shows how that design might generalize to other kinds of document languages.