Changes between Version 2 and Version 3 of ScopedTypeVariables

Show
Ignore:
Timestamp:
12/01/05 11:10:48 (7 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 ==