From 8962431a7dce03507e3f84fb8e66a349a04fe057 Mon Sep 17 00:00:00 2001
From: Evi
Date: Sat, 14 May 2016 15:58:35 +0200
Subject: verwerken feedback

---
 rulesoutput.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'rulesoutput.tex')

diff --git a/rulesoutput.tex b/rulesoutput.tex
index 96c806e..f55b374 100644
--- a/rulesoutput.tex
+++ b/rulesoutput.tex
@@ -22,10 +22,11 @@ $$
             {\ip'}{[\op:[s:\Nil]]}{\st}
 	\using{\routputns}
 	\qquad
-	\text{met $(s,\stk') = \pop{\stk}$.}
+	\text{met $\pop{\stk} = (s,\stk') $.}
 \endprooftree
 $$
 
+Waarbij [o:Nil] in de bovenste regel de gehele stack weergeeft. 
 Merk op dat eenzelfde regel waar $s$ niet achteraan maar vooraan zou komen te
 staan, even geldig is. Geen van beide opties is beter dan de ander omdat we
 geen aannames doen over hoe de $\Output$-stack wordt verwerkt.
-- 
cgit v1.2.3

