I'm trying to understand this lecture, section 2.7. Why would the normal order sequencing print out
"hello" "world" and not
"world" "hello"? I may be misinterpreting the order in which the arguments are applied.
It looks like the expression
$$ ((Seq (display "hello"))\; (display "world")) $$
would evaluate to
$$ \lambda z.((display "world")\; (display "hello")) $$
and that would, under normal order, would print out
My question is whether the assumption I'm making is correct. If not, could you show the correct derivation of the end-expression?