Changes between Version 85 and Version 86 of TypeFunctionsSolving


Ignore:
Timestamp:
Sep 6, 2008 11:16:04 AM (7 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