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


Ignore:
Timestamp:
Dec 9, 2012 5:10:57 PM (17 months 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