Changes between Version 7 and Version 8 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 2:15:39 PM (8 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