Stepper

Overview

The stepper is a tool that allows for a better understanding of the substitution model by displaying the program’s evaluation steps. It can be used with Source 1 & 2.

Features

Upon running the program, the stepper will show the code on the right panel, with a slider bar on top which the user can use to show the different stages of the program's evaluation. The steps are as follows: First step - start of evaluation Even-numbered steps - shows the program before the next step is executed, with the part that will be evaluated highlighted in orange Odd-numbered steps - shows the program after the execution of the next step, with the part(s) that have been evaluated highlighted in green Last step - evaluation complete

At the same time, a box at the bottom of the code will contain text that explains the current evaluation.