Changes between Version 8 and Version 9 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 2:16:56 PM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • IntermediateTypes

    v8 v9  
    120120 
    121121Coercions are type-level terms which act as evidence for type 
    122 equalities and are classified by a new sort of kind (with the form `T1 
    123 :=: T2`).  Most of the coercion construction and manipulation functions 
     122equalities and are classified by a new sort of kind (with the form {{{T1 
     123:=: T2}}}).  Most of the coercion construction and manipulation functions 
    124124are found in the Coercion module. 
    125125