todo.txt

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