Changes between Version 23 and Version 24 of TypeFunctionsSynTC


Ignore:
Timestamp:
Jan 1, 2007 9:59:56 PM (9 years ago)
Author:
sulzmann
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC

    v23 v24  
    6161 |=
    6262
     63
    6364(T [Int] = S [Int]) /\             -- local assumptions
    6465(T Int = S Int)
     
    106107 * [wiki:TypeFunctionsSynTC/GHC Type equations in GHC]
    107108 * [wiki:TypeFunctionsSynTC/PlanMS Plan MS]
    108 
     109 * [wiki:TypeFunctionsSynTC/PlanMSRevised Plan MS revised]