Changes between Version 19 and Version 20 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 4:37:46 PM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v19 v20  
    107107   
    108108   [[ x :: T ]]   ==>   x :: T              , is x is a CAF binding
     109
     110   [[ x = \y1 .. yn -> E ]]   ==>   x = \t y1 .. yn -> [[ E ]]_("x":t)
    109111}}}
    110112