X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=todo.txt;h=4400afa7b167345dd749a0ade856babda0ca89a2;hb=HEAD;hp=64a58bdee33f4d812d77e1bcf27d7b38a0155d18;hpb=de298e39d28ad9f44e1e0e4f444321e099c9c48f;p=sec1415.git

diff --git a/todo.txt b/todo.txt
index 64a58bd..4400afa 100644
--- a/todo.txt
+++ b/todo.txt
@@ -1,23 +1,9 @@
-spelfouten!!
-uitleg bij tabel 4
+KLAAR - Mart: Bochten uitleggen(analysis.tex)
+KLAAR - Mart: Semantics(marjolein)
+KLAAR - Mart: Uitleggen waarom piet' verschijnt in expressies(an_arit_expr.tex)
+Marjolein: Get functie uitleggen in unair
+Marjolein: Kijken naar de laatste zaken over dat clean gebeuren
+Marjolein: analyse voor 2!
+Marjolein: eventueel toelichten afleidingsregels
+Marjolein: toeveoegen inchar en outchar
 
-Mart:
-KLAAR variabelen opslag
-bijhouden huidige blok oppervlak
-stappen met codelgrootte en loop methode
-codelgrootte
-KLAAR voorbeeld variabelen ophalen uit stack
-stack volgorde aangeven e_n ... e_0
-loops beter beschrijven
-annoteren Piet' programma in paint
-uitleg terminatie Piet' programma
-
-Marjolein:
-KLAAR wiskundige operaties op stacks definieren
-KLAAR onderscheid wiskundige deel
-KLAAR natuurlijke taal toevoegen voor semantiekbeschrijving
-KLAAR toevoegen functies/regels aan semantiek
-KLAAR toepassen semantiekregels op faculteitsprogramma in Piet'
-KLAAR? verdere uitleg Piet'
-inchar/outchar eventueel toevoegen aan semantiek (voor nu weggelaten)
-voor later: waarschijnlijk nog meer analyses in de vorm van afleidingsrijen toevoegen