Changes between Version 2 and Version 3 of ScopedTypeVariables


Ignore:
Timestamp:
Dec 1, 2005 7:10:48 PM (8 years ago)
Author:
sweirich@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ScopedTypeVariables

    v2 v3  
    2121 
    2222== Pros == 
    23  
     23  * Allows better documentation (without them, some expressions cannot be annotated with their types). 
     24  * Extensions such as [wiki:RankNTypes] and [wiki:GADTs] require such annotations, so even more important in conjunction with them. 
    2425 
    2526== Cons ==