example
Slide 8 : 24
Example
The example
The underlying LAML program.