todo.txt

   1 intro: Problem statement en introductie uitwijden
   2 emtsk: semantics, anders noemen en voorbeelden geven in strategies
   3 emtsk: Voorbeeldje voor namedsds
   4 emtsk: examples, factorial vervangen
   5 devcs: iets met taken en argumenten zeggen
   6 devcs: waarom kunnen taken geen andere taken starten
   7 devcs: duidelijker zijn dat je echt geen heap nodig hebt
   8 iTaks: duidelijker maken wat "managing devices" betekend
   9 dvspc: Uitleggen hoe device spec gemaakt word
  10 hbexm: Voorbeeld met de heartbeat sensor
  11 hbexm: Instructies van de heartbeat sensor verkleinen
  12 concl: Uitleggen hoe/of de probleemstelling opgelost is