X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Fblinktree.tex;h=da5a6f7b9c3a17f6a27f05796e2515ad604ce657;hb=3044eec5a52dcd464ecfe502a521d09689f48f06;hp=aea4fb96199dca7599f2e4d061e0e75f96ee6f64;hpb=37e6240fbe3b2d1d8e6babdcc8c48b1b78f31999;p=phd-thesis.git

diff --git a/top/blinktree.tex b/top/blinktree.tex
index aea4fb9..da5a6f7 100644
--- a/top/blinktree.tex
+++ b/top/blinktree.tex
@@ -4,14 +4,14 @@
 \begin{document}
 \begin{tikzpicture}[node distance=1em]
 	\node (s1) {\verb#>>|.#};
-	\node (d1) [left=of s1.north,yshift=-3em] {\verb#delay#};
+	\node (d1) [left=of s1.north,yshift=-3em] {\verb#delay 500#};
 	\node (s2) [right=of s1.north,yshift=-3em] {\verb#>>=.# $\lambda x\shortrightarrow$};
-	\node (wd) [left=of s2.north,yshift=-3em] {\verb#writeD#};
+	\node (wd) [left=of s2.north,yshift=-3em] {\verb#writeD D3 st#};
 	\node (rec) [right=of s2.north,yshift=-3em,fill=gray!15,label={[xshift=1em,label distance=-5pt]above:{\tiny interpreter}}] {\verb#blink (Not x)#};
 	\draw (s1.south) -- (d1.north);
 	\draw (s1.south) -- (s2.north);
 	\draw (s2.south) -- (wd.north);
 	\draw (s2.south) -- ([xshift=-1.5em]rec.north);
-	\draw [->,dashed] ([xshift=-1.5em]rec.north) to [out=25,in=25] (s1.east);
+%	\draw [->,dashed] ([xshift=-1.5em]rec.north) to [out=25,in=25] (s1.east);
 \end{tikzpicture}
 \end{document}