Changes between Version 85 and Version 86 of TypeFunctionsSolving


Ignore:
Timestamp:
Sep 6, 2008 11:16:04 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v85 v86  
    293293This is obviously bad, as we want to get `alpha := [()]` and not `alpha := [beta]` for a free `beta` out of finalisation. 
    294294 
     295'''NB:''' The problem in the last example arises when we finalise as described in the `normalisied_equalities_algorithm` paper.  It is not a problem when using the strategy outlined on this wiki page. 
     296 
    295297---- 
    296298