X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=top%2Fblinktree.tex;h=da5a6f7b9c3a17f6a27f05796e2515ad604ce657;hb=5702796e5885e85b9e8dcc0d5160dccb9386b05f;hp=57c6b1919c11b796e7be44e745aad3fe3b70e4df;hpb=7af43f4cbbc7792ec22553a84468cde77f429a11;p=phd-thesis.git

diff --git a/top/blinktree.tex b/top/blinktree.tex
index 57c6b19..da5a6f7 100644
--- a/top/blinktree.tex
+++ b/top/blinktree.tex
@@ -2,16 +2,16 @@
 \usepackage{stmaryrd}
 \usetikzlibrary{arrows.meta,shapes.symbols,matrix,positioning}
 \begin{document}
-\begin{tikzpicture}
-	\matrix (tree) [matrix of nodes,nodes in empty cells, row sep=1em] {
-					& \verb#>>|.#\\
-	\texttt{delay}  & & \verb#>>=.#$~\lambda$\verb#x#$\shortrightarrow$\\
-					& \texttt{writeD} & & |[fill=gray!15,label={[xshift=1em,label distance=-5pt]above:{\tiny interpreter}}]|\verb#blink (Not x)#\\
-	};
-	\draw (tree-1-2.south) -- (tree-2-1.north);
-	\draw (tree-1-2.south) -- (tree-2-3.north);
-	\draw (tree-2-3.south) -- (tree-3-2.north);
-	\draw (tree-2-3.south) -- ([xshift=-1.5em]tree-3-4.north);
-	\draw [->,dashed] ([xshift=-1.5em]tree-3-4.north) to [out=25,in=25] (tree-1-2.east);
+\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 (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);
 \end{tikzpicture}
 \end{document}