The current semantics of the let expression allows Varlang programmers to define multiple variables (say, var0, …, varN) and give them the values of the expressions exp0, …, expN. These definitions have an effect within the body of the let expression, but not within exp1, …, expN. Change the semantics of Varlang to implement cascading definitions in which var0 is defined within exp1, …, expN and the body of the let expression, var1 is defined within exp2, …, expN and the body of the let expression, and so on.

Here are some examples (without cascading definitions):