todo.txt

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