20070614-2

It seems strange that

 forall {x : a}

and

 forall {x} {y}

are accepted, while

 forall {x : a} {y}

is a parse error.


The same is true for lambda:

  \(x : a) -> \y -> v

is ok, but not

  \(x : a) y -> v

Fixed.

Page last modified on June 14, 2007, at 04:35 PM
Powered by PmWiki