From doing to seeing

• How does the computation proceed? What is the structure?
• For quicksort, in what state is the machine that executes quicksort after each step? quicksort [3,5,2,4]
  • ⊥
  • 3 : ⊥
  • 3 : 5 : ⊥
  • ...