Changes between Version 20 and Version 21 of TypeFunctionsSynTC


Ignore:
Timestamp:
Dec 19, 2006 11:29:16 PM (7 years ago)
Author:
sulzmann
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC

    v20 v21  
    105105 * [wiki:TypeFunctionsSynTC/Second A second attempt] 
    106106 * [wiki:TypeFunctionsSynTC/GHC Type equations in GHC] 
     107 * [wiki:TypeFunctionsSynTC/Plan MS] 
    107108