Changes between Version 2 and Version 3 of ScopedTypeVariables


Ignore:
Timestamp:
Dec 1, 2005 7:10:48 PM (10 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 ==