Commit 1a81f048 authored by Simon Marlow's avatar Simon Marlow
Browse files

couple of HTML tweaks

parent 07eedd5c
......@@ -306,7 +306,7 @@ it may legally be written as @\(x:xs)->x@.
The set of patterns must be {\em linear}\index{linearity}%
\index{linear pattern}---no variable may appear more than once in the set.
\outline{\small
\outline{\ifhtml{}{\small}
\paragraph*{Translation:}
The following identity holds:
\begin{center}
......@@ -728,7 +728,7 @@ let (x,y) = undefined in @"e"@
\eprog
does not cause an execution-time error until @x@ or @y@ is evaluated.
\outline{\small
\outline{\ifhtml{}{\small}
\paragraph*{Translation:} The dynamic semantics of the expression
"@let {@ d_1 @;@ ... @;@ d_n @} in@ e_0" are captured by this
translation: After removing all type signatures, each
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment