diff --git a/slides/viva.tex b/slides/viva.tex index 034e36e..0aa0531 100644 --- a/slides/viva.tex +++ b/slides/viva.tex @@ -137,7 +137,7 @@ handlers.\\[2em] \[ - \Scale[2]{\cek{C \mid E \mid K = \overline{((H,E), \sigma)}}} + \Scale[2]{\cek{C \mid E \mid K = \overline{(\sigma, (H,E))}}} \]\\[2em] \textbf{Relevant papers} TyDe'16~\cite{HillerstromL16},