Accompanying materials for "A Core Calculus for Documents" - View it on GitHub