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 ||