Commits

Anonymous committed 0af767b

doc: forgot about delta-reduction for 'waits.' desc

Comments (0)

Files changed (1)

   Then programmer can look at partial reduction's results, allow
 reduction of some/all breakpoint(s), list present breakpoints,
 watch at what these breakpoints are "waiting for"
-(beta/iota/zeta reduction), apply conversion tactic to expression
-under some/all breakpoint(s).
+(beta/delta/iota/zeta reduction), apply conversion tactic to
+expression under some/all breakpoint(s).
 
 
     Why not <alternative>?