Changes between Version 20 and Version 21 of ExplicitForall


Ignore:
Timestamp:
Jan 5, 2011 8:02:59 PM (4 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 ===