This section introduces you to Strudel in a technical sense. If you just want to use Strudel, have a look at the Tutorial.

TODO