From 9067e4aeb97d8dc5fb92a31009e22c38a8ec07ea Mon Sep 17 00:00:00 2001
From: Tej Chajed <tchajed@gmail.com>
Date: Fri, 17 Feb 2023 10:41:46 -0800
Subject: [PATCH] Fix typo in appendix
Some instances of tau should have been tau'
---
tex/model.tex | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/tex/model.tex b/tex/model.tex
index 772089a25..ecad389ca 100644
--- a/tex/model.tex
+++ b/tex/model.tex
@@ -15,9 +15,9 @@ The semantic domains are interpreted as follows:
\end{array}
\qquad\qquad
\begin{array}[t]{@{}l@{\ }c@{\ }l@{}}
-\Sem{\type + \type'} &\eqdef& \Sem{\type} + \Sem{\type} \\
-\Sem{\type \times \type'} &\eqdef& \Sem{\type} \times \Sem{\type} \\
-\Sem{\type \to \type'} &\eqdef& \Sem{\type} \nfn \Sem{\type} \\
+\Sem{\type + \type'} &\eqdef& \Sem{\type} + \Sem{\type'} \\
+\Sem{\type \times \type'} &\eqdef& \Sem{\type} \times \Sem{\type'} \\
+\Sem{\type \to \type'} &\eqdef& \Sem{\type} \nfn \Sem{\type'} \\
\end{array}
\]
For the remaining base types $\type$ defined by the signature $\Sig$, we pick an object $X_\type$ in $\OFEs$ and define
--
GitLab