From fc7d67e34cfe8167110ad44626ada8f55711f029 Mon Sep 17 00:00:00 2001 From: pimjager Date: Sun, 19 Jun 2016 14:15:23 +0200 Subject: [PATCH] other small Sem fix --- deliverables/report/sem.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deliverables/report/sem.tex b/deliverables/report/sem.tex index 67d74db..ce06b91 100644 --- a/deliverables/report/sem.tex +++ b/deliverables/report/sem.tex @@ -196,7 +196,7 @@ and accumulating the resulting types, substitutions, etc. &(\texttt{fold } (\rightarrow) \texttt{ } \alpha \texttt{ } \tau^*) \unif \tau^e = \star_2 &\star = \star_2 \cdot \star_1 - &\texttt{fold apfs } \tau^e \textit{ fs}^* = \tau^r + &\texttt{fold apfs } \tau^{e \star} \textit{ fs}^* = \tau^r } } \end{equation} -- 2.20.1