Changes between Version 20 and Version 21 of ExplicitForall


Ignore:
Timestamp:
Jan 5, 2011 8:02:59 PM (5 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitForall

    v20 v21  
    3535Changes relative to H2010 report.
    3636
    37 Two versions are given. The first makes `forall` a keyword, while the second only makes it a keyword in a type.
     37Two versions are given. The first makes `forall` a keyword, while the second only makes it a keyword in a type. The committee may choose which they prefer.
    3838
    3939=== Report Delta, with `forall` as a keyword ===