Changes between Version 19 and Version 20 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 4:37:46 PM (8 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