1 \documentclass[tikz
]{standalone
}
3 \usetikzlibrary{arrows.meta,shapes.symbols,matrix,positioning
}
5 \begin{tikzpicture
}[node distance=
1em
]
6 \node (s1)
{\verb#>>|.#
};
7 \node (d1)
[left=of s1.north,yshift=-
3em
] {\verb#delay
500#
};
8 \node (s2)
[right=of s1.north,yshift=-
3em
] {\verb#>>=.# $
\lambda x
\shortrightarrow$
};
9 \node (wd)
[left=of s2.north,yshift=-
3em
] {\verb#writeD D3 st#
};
10 \node (rec)
[right=of s2.north,yshift=-
3em,fill=gray!
15,label=
{[xshift=
1em,label distance=-
5pt
]above:
{\tiny interpreter
}}] {\verb#blink (Not x)#
};
11 \draw (s1.south) -- (d1.north);
12 \draw (s1.south) -- (s2.north);
13 \draw (s2.south) -- (wd.north);
14 \draw (s2.south) -- (
[xshift=-
1.5em
]rec.north);
15 % \draw [->,dashed] ([xshift=-1.5em]rec.north) to [out=25,in=25] (s1.east);