RE: Type application: a modest proposal.

[Frank A. Christoph]

I wrote:
> I think he means the application term associated with second-order lambda
> calculus' "big lambda," usually written "M [T]" or just "M T" where M is a
> value term and T is a type term, e.g., "(/\X.\x.x) Int 3".

Should be: "(/\X.\x:X.x) Int 3". (Doesn't make much sense if you don't say
what type variable your abstracting...!)

--FAC