How Maru works

This section is a deep dive into the nitty-gritty details of Maru. If you want a more high-level description, see programming model.