Changes between Version 22 and Version 23 of TypeFunctionsSynTC


Ignore:
Timestamp:
Dec 19, 2006 11:33:32 PM (8 years ago)
Author:
sulzmann
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC

    v22 v23  
    105105 * [wiki:TypeFunctionsSynTC/Second A second attempt] 
    106106 * [wiki:TypeFunctionsSynTC/GHC Type equations in GHC] 
    107  * [wiki:TypeFunctionsSynTC/PlanMS] 
     107 * [wiki:TypeFunctionsSynTC/PlanMS Plan MS] 
    108108