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