Evaluation-Lit

The figure is a snapshot of Evaluation-Lit in Japanese environment.

[NOTE]
The correct terminating condition in the algorithm for the factorial calculation should be (= n 0).
To say the truth, Viivi currently has a Problem.
I wrote a sample code in order to explain and ask the problem, including a modified condition (= n 1), and made a mistake to use the code directly for creating the figure.
The condition in the figure will be corrected in the next update.
I apologize for any inconvenience this may cause to you.

At every step in the evaluation process, the S-expression of the evaluation target in the source code and the related Scheme objects are highlighted on the respective windows.

Orange-colored cursors are used for the Evaluation-Lit by default.