Changes between Version 18 and Version 19 of TypeFunctionsSynTC


Ignore:
Timestamp:
Dec 14, 2006 12:22:27 AM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC

    v18 v19  
    100100End of NOTE
    101101
     102== Various refinements of an approach to solve the challenge ==
     103
     104 * [wiki:TypeFunctionsSynTC/Naive A first (naive) attempt]
     105 * [wiki:TypeFunctionsSynTC/Second A second attempt]
     106 * [wiki:TypeFunctionsSynTC/GHC Type equations in GHC]
    102107
    103108== A first (naive) attempt ==