Changes between Version 5 and Version 6 of Commentary/Compiler/TypeNatSolver


Ignore:
Timestamp:
Dec 9, 2012 5:10:57 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeNatSolver

    v5 v6  
    123123
    124124The type-nat solver processes derived constraints in a similar fashion
    125 to given constraints it checks to see if they are trivially known
     125to given constraints (`computeNewDerivedWork`): it checks to see if they are trivially known
    126126and, if not, then it tries to generate some additional derived constraints.
    127127The main difference is that derived constraints can be interacted