X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Fblinktree2.tex;fp=top%2Fblinktree.tex;h=202d12906fc375f7d48f0610a890d25e58807945;hb=12eedfefd66f1bab5e8b3b76432ea1efc145ce02;hp=da5a6f7b9c3a17f6a27f05796e2515ad604ce657;hpb=20d972f3af3f073519e6e3e23edf4eb725f8f52d;p=phd-thesis.git

diff --git a/top/blinktree.tex b/top/blinktree2.tex
similarity index 70%
rename from top/blinktree.tex
rename to top/blinktree2.tex
index da5a6f7..202d129 100644
--- a/top/blinktree.tex
+++ b/top/blinktree2.tex
@@ -3,13 +3,9 @@
 \usetikzlibrary{arrows.meta,shapes.symbols,matrix,positioning}
 \begin{document}
 \begin{tikzpicture}[node distance=1em]
-	\node (s1) {\verb#>>|.#};
-	\node (d1) [left=of s1.north,yshift=-3em] {\verb#delay 500#};
-	\node (s2) [right=of s1.north,yshift=-3em] {\verb#>>=.# $\lambda x\shortrightarrow$};
+	\node (s2) {\verb#>>=.# $\lambda x\shortrightarrow$};
 	\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);