Changes between Version 7 and Version 8 of IntermediateTypes


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

--

Legend:

Unmodified
Added
Removed
Modified
  • IntermediateTypes

    v7 v8  
    132132for the reflexive coercion, i.e.,
    133133
    134     `Int :: Int :=: Int`
     134      {{{Int :: Int :=: Int}}}
    135135
    136136Coercion variables are