Slide 23
The entire calculation of the factorial of 3. The programmer can see all the steps in the computation, with live values substituted for the variables which contain them. There are some interactive examples at http://dam.mellis.org/repdl/ you can try.