Changes between Version 9 and Version 10 of Rank2Types


Ignore:
Timestamp:
Feb 16, 2007 11:56:58 PM (8 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