Changes between Version 18 and Version 19 of TypeFunctionsSynTC


Ignore:
Timestamp:
Dec 14, 2006 12:22:27 AM (7 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 ==