Changes between Version 1 and Version 2 of ExplicitForall


Ignore:
Timestamp:
Jul 27, 2009 11:06:50 AM (6 years ago)
Author:
NiklasBroberg
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitForall

    v1 v2  
    11= Proposal: ExplicitForall = 
    22 
    3 || Ticket       || #999 || 
     3|| Ticket       || #133 || 
    44|| Dependencies ||  || 
    55|| Related      || Rank2Types, RankNTypes, LiberalTypeSynonyms, PolymorphicComponents, ScopedTypeVariables ||