ExplicitForAll complete

[Ian Lynagh]

On Fri, Dec 24, 2010 at 11:31:17PM +0100, Lennart Augustsson wrote:
> I think they are equally feasible, but as Simon says, we have avoided
> introducing new global keywords.
> And I think we should avoid it this time too.  Why break programs when we
> don't have to.

I've added an alternative delta to the page, where forall is only a
keyword in types. The committee can choose which they prefer.


Thanks
Ian