update todo

diff --git a/semantics.tex b/semantics.tex
index d80eb80..578901d 100644 (file)
--- a/semantics.tex
+++ b/semantics.tex
@@ -104,7 +104,7 @@ Deze functie haalt de bovenste twee elementen van de stack en stopt 1 bovenop
 de stack als het tweede bovenste element een hogere waarde heeft als dat van het 
 bovenste element. Anders word 1 bovenop de stack gestopt.\\ 
 
-Met behulp van deze gedefineerde functies kunnen we nu de volgende semantiekregels opstellen:\\
+Met behulp van deze gedefinieerde functies kunnen we nu de volgende semantiekregels opstellen:\\
 
 $
 {[pop_{sos}]}\qquad

diff --git a/todo.txt b/todo.txt
index 68d8d72..9426d6b 100644 (file)
--- a/todo.txt
+++ b/todo.txt
@@ -1,9 +1,18 @@
 spelfouten!!
+
+Mart:
 KLAAR variabelen opslag
-piet', bijhouden huidige blok oppervlak
+bijhouden huidige blok oppervlak
 stappen met codelgrootte en loop methode
 codelgrootte
 KLAAR voorbeeld variabelen ophalen uit stack
-BEZIG onderscheid wiskundige deel
-BEZIG wiskundige operaties op stacks definieren
 stack volgorde aangeven e_n ... e_0
+loops beter beschrijven
+
+Marjolein:
+BEZIG wiskundige operaties op stacks definieren
+BEZIG onderscheid wiskundige deel
+BEZIG natuurlijke taal toevoegen voor semantiekbeschrijving
+BEZIG toevoegen functies/regels aan semantiek
+toepassen semantiekregels op faculteitsprogramma in Piet'
+verdere uitleg Piet'