Changes between Version 5 and Version 6 of Rank2Types


Ignore:
Timestamp:
Jan 26, 2006 7:59:14 PM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Rank2Types

    v5 v6  
    11= Rank-2 Types = 
    22[[PageOutline]] 
     3 
     4[search:?q="Rank2Types"&ticket=on Ticket(s)] 
    35 
    46See ExtensionDescriptionHowto for information on how to write these extension descriptions.  Please add any new extensions to the list of HaskellExtensions.