Changes between Version 9 and Version 10 of Rank2Types


Ignore:
Timestamp:
Feb 16, 2007 11:56:58 PM (7 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Rank2Types

    v9 v10  
    5454 
    5555== Cons == 
     56 * functions with rank-2 types are not first class 
    5657 * can be awkward in comparison with [wiki:RankNTypes] 
     58