a couple of typos
(no sub X in print) Env := { Print : S → A, Eval : S × Aₓ → S }
in the second image, in the bottom right S^1_X should be S^1
a couple of typos
(no sub X in print) Env := { Print : S → A, Eval : S × Aₓ → S }
in the second image, in the bottom right S^1_X should be S^1