Changes between Version 12 and Version 13 of TypeFunctionsSolving


Ignore:
Timestamp:
Jul 30, 2008 2:54:11 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v12 v13  
    11= Normalising and Solving Type Equalities = 
    22 
    3 The following is based on ideas for the new, post-ICFP'08 solving algorithm.  Most of the code is in the module `TcTyFuns`. 
     3The following is based on ideas for the new, post-ICFP'08 solving algorithm.  Technical details are in CVS `papers/type-synonym/new-single.tex`.  Most of the code is in the module `TcTyFuns`. 
    44 
    55