Changes between Version 6 and Version 7 of IntermediateTypes


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

--

Legend:

Unmodified
Added
Removed
Modified
  • IntermediateTypes

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