TOGETHER AT LAST Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob - PowerPoint PPT Presentation

2. Prepare for 
 1. Evaluate 
 User Actions 
 with Traces with Heuristics 3. Live Sync let (x0, y0, w, h, sep, n) = (50, 120, 20, 90, 30, 3) ! let boxi i = let xi = x0 + i * sep in User Changes Output; rect 'lightblue' xi y0 w h x0 sep x0 x0 sep ! x0 map boxi (zeroTo n) x0 155 = + 2*30 58

2. Prepare for 
 1. Evaluate 
 User Actions 
 with Traces with Heuristics 3. Live Sync let (x0, y0, w, h, sep, n) = (50, 120, 20, 90, 30, 3) ! let boxi i = let xi = x0 + i * sep in User Changes Output; rect 'lightblue' xi y0 w h x0 sep x0 x0 sep ! x0 map boxi (zeroTo n) Solve Trace Equation; x0 155 = + 2*30 58

2. Prepare for 
 1. Evaluate 
 User Actions 
 with Traces with Heuristics 3. Live Sync let (x0, y0, w, h, sep, n) = (50, 120, 20, 90, 30, 3) ! let boxi i = let xi = x0 + i * sep in User Changes Output; rect 'lightblue' xi y0 w h x0 sep x0 x0 sep ! x0 map boxi (zeroTo n) Solve Trace Equation; x0 155 = 95 + 2*30 58

2. Prepare for 
 1. Evaluate 
 User Actions 
 with Traces with Heuristics 3. Live Sync let (x0, y0, w, h, sep, n) = 95 (50, 120, 20, 90, 30, 3) ! let boxi i = let xi = x0 + i * sep in User Changes Output; rect 'lightblue' xi y0 w h x0 sep x0 x0 sep ! x0 map boxi (zeroTo n) Solve Trace Equation; Apply Small Update ; 58

2. Prepare for 
 1. Evaluate 
 User Actions 
 with Traces with Heuristics 3. Live Sync let (x0, y0, w, h, sep, n) = 95 (50, 120, 20, 90, 30, 3) ! let boxi i = let xi = x0 + i * sep in User Changes Output; rect 'lightblue' xi y0 w h x0 sep x0 x0 sep ! x0 map boxi (zeroTo n) Solve Trace Equation; Apply Small Update ; Re-run and Render 58

2. Prepare for 
 1. Evaluate 
 User Actions 
 with Traces with Heuristics 3. Live Sync let (x0, y0, w, h, sep, n) = 95 (50, 120, 20, 90, 30, 3) ! let boxi i = let xi = x0 + i * sep in User Changes Output; rect 'lightblue' xi y0 w h x0 sep ! x0 map boxi (zeroTo n) Solve Trace Equation; Apply Small Update ; Re-run and Render 58

Sketch-n-Sketch 59

• 60

• 61

• 62

• 63

• 64

• 65

• 66

• 67