laatste kleine aanpassingen

[sec1415.git] / todo.txt

diff --git a/todo.txt b/todo.txt
index 7ccb7c7..64a58bd 100644 (file)
--- a/todo.txt
+++ b/todo.txt
@@ -17,6 +17,7 @@ KLAAR wiskundige operaties op stacks definieren
 KLAAR onderscheid wiskundige deel
 KLAAR natuurlijke taal toevoegen voor semantiekbeschrijving
 KLAAR toevoegen functies/regels aan semantiek
-BEZIG toepassen semantiekregels op faculteitsprogramma in Piet'
+KLAAR toepassen semantiekregels op faculteitsprogramma in Piet'
 KLAAR? verdere uitleg Piet'
-inchar/outchar eventueel toevoegen aan semantiek
+inchar/outchar eventueel toevoegen aan semantiek (voor nu weggelaten)
+voor later: waarschijnlijk nog meer analyses in de vorm van afleidingsrijen toevoegen