From 539b5fec3d6cdd2ca4c6927c221ce6e10841c6f2 Mon Sep 17 00:00:00 2001 From: partowp Date: Fri, 24 Jul 2026 11:44:36 +0100 Subject: [PATCH] fixing the example --- ACV 2026/slides.tex | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/ACV 2026/slides.tex b/ACV 2026/slides.tex index 538056a..158db8b 100644 --- a/ACV 2026/slides.tex +++ b/ACV 2026/slides.tex @@ -220,8 +220,8 @@ \draw[->] (active) to[bend right=20] node[below] {select coffee} (brewing coffee); \draw[->] (active) to[bend left=20] node[below] {select tea} (brewing tea); - \draw[->] (brewing coffee) -- node[above] {take coffee} (idle); - \draw[->] (brewing tea) -- node[above] {take tea} (idle); + \draw[->] (brewing coffee) -- node[above] {take drink} (idle); + \draw[->] (brewing tea) -- node[above] {take drink} (idle); \end{tikzpicture} \end{center} % \end{columns} @@ -245,7 +245,7 @@ \draw[->] (active) to[bend left=20] node[below,font=\tiny] {select tea} (tea); - \draw[->] (tea) -- node[above,font=\tiny] {take tea} (idle); + \draw[->] (tea) -- node[above,font=\tiny] {take drink} (idle); \end{tikzpicture} \end{alertblock} @@ -265,8 +265,7 @@ node[below,font=\tiny] {select tea} (tea); \draw[->] (active) to[bend left=10] node[above,font=\tiny,yshift=2mm] {select coffee} (tea); - \draw[->] (tea) to[bend right=10] node[below,font=\tiny] {take tea} (idle); - \draw[->] (tea) to[bend left=10] node[above,font=\tiny] {take coffee} (idle); + \draw[->] (tea) -- node[above,font=\tiny] {take drink} (idle); \end{tikzpicture} \end{alertblock} @@ -287,8 +286,8 @@ \draw[->] (active) to[bend right=20] node[below] {select coffee} (brewing coffee); \draw[->] (active) to[bend left=20] node[below] {select tea} (brewing tea); - \draw[->] (brewing coffee) -- node[above] {take coffee} (idle); - \draw[->] (brewing tea) -- node[above] {take tea} (idle); + \draw[->] (brewing coffee) -- node[above] {take drink} (idle); + \draw[->] (brewing tea) -- node[above] {take drink} (idle); \end{tikzpicture} \end{center} % \end{columns} @@ -444,7 +443,7 @@ % -$\mS$ is representing terms of a programming language,\\ % -and $\gamma$ is giving their big-step reduction. % \end{block} - \begin{alertblock}{Main Goal} + \begin{alertblock}{Main Motivation} We want to prove that for terms $t$ and $s$, and a context $C$:\vspace{-0.3cm} \begin{gather*} t\sim s\Rightarrow C[t]\sim C[s]