Examples from the Paper

Here we include executable variants of all examples from the paper.

---

Table of contents

• Section 2
• Section 3
• Section 5