Permalink
Browse files

More wibbles

  • Loading branch information...
simonpj committed Mar 24, 2011
1 parent 5498273 commit 63f8164343a448320f04de4b452a6711a850a3dc
Showing with 2 additions and 1 deletion.
  1. +2 −1 remote.tex
View
@@ -911,7 +911,8 @@ \subsection{Static values}
id x = x
\end{code}
Because the function \textt{id} is top-level, its binding
-in $\Gamma$ will have $\delta=\textsf{S}$, in other words \textt{id} $:_{\textsf{S}}$ \textt{a->a}. However, ($\!$\textt{Static id}) has type ($\!$\textt{Static (a -> a)}).
+in $\Gamma$ will have $\delta=\textsf{S}$, in other words \textt{id} has the
+non-\textt{Static} type \textt{id} $:_{\textsf{S}}$ \textt{a->a}. However, ($\!$\textt{Static id}) has type ($\!$\textt{Static (a -> a)}).
\item A variable with a \textsf{D} binding may have a \textt{Static} type. For example
\begin{code}

0 comments on commit 63f8164

Please sign in to comment.