Changes between Version 28 and Version 29 of TypeFunctionsSynTC


Ignore:
Timestamp:
Jan 27, 2007 12:35:07 PM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC

    v28 v29  
    3131 * [wiki:TypeFunctionsSynTC/PlanMS Plan MS] 
    3232 * [wiki:TypeFunctionsSynTC/PlanMSRevised Plan MS revised] 
     33 * [wiki:TypeFunctionsSynTC/PlanMSRevised2 Plan MS revised again] 
    3334 * [wiki:TypeFunctionsSynTC/Comparison Brief comparison] 
    3435 * [wiki:TypeFunctionsSynTC/GhcChr CHR-style simplification for GHC]