Changes between Version 18 and Version 19 of TypeFunctionsSynTC

Show
Ignore:
Timestamp:
12/13/06 16:22:27 (6 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 ==