- Wichtiges vorangegangenes Kapitel: Variants - Der Plan - Eigene Sprache `L-If` - Nachteile bei Interpreterimplementierung ohne GADTs - Vorteile mit - 2 weitere Konzepte mit GADTs - Übergang: Beginn mit der eignen Sprache
- Grammatik - Atoms kleinste Einheit - Bools & Ints - Ifs
- atom ist program - if ist program - program nested - ! invalid syntax - ! int als condition - ! verschiedene typen in zweigen
-