X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=todo.txt;h=efdb1c9fbbedb3afd5beeba4b2e26fe881600038;hb=9b3d5ac89173801dffb60470b86a61390c4ab68d;hp=d8cc4dab67dcdab3cf95fd626b33db7c4fbde83c;hpb=fea7435e5523f3d33529d08ab5f5f3f677afc666;p=msc-thesis1617.git

diff --git a/todo.txt b/todo.txt
index d8cc4da..efdb1c9 100644
--- a/todo.txt
+++ b/todo.txt
@@ -1,6 +1,4 @@
 intro: Problem statement en introductie uitwijden
-mtask: edsl, uitleggen waarom die hierarchie nodig is, isExpr
-mtask: voorbeelde sds
 mtask: semantics anders noemen
 emtsk: semantics, anders noemen en voorbeelden geven in strategies
 emtsk: Voorbeeldje voor namedsds