typo in 18.4?
Dan Smith
daniel.smith at oracle.com
Thu Nov 21 15:56:21 PST 2013
Yes, thanks. Somebody else pointed that out to me this week, too.
—Dan
On Nov 21, 2013, at 7:40 AM, Stephan Herrmann <stephan.herrmann at berlin.de> wrote:
> not sure whether this has been mentioned before (by me?):
>
> This sentence in 18.4:
>
> For all i, (1 ≤ i ≤ n), where αi has upper bounds U1, ..., Uk,
> then define the upper bound of Zi as glb(L1θ, ..., Lkθ).
>
> should probably say "glb(U1θ, ..., Ukθ).", right?
>
> Stephan
More information about the lambda-spec-experts
mailing list