redex instead, the "reduced" form is `(\x.I)Ω` again, and we are in
danger of entering an infinite loop.
redex instead, the "reduced" form is `(\x.I)Ω` again, and we are in
danger of entering an infinite loop.
are now in a position to gain a deeper understanding of evaluation
order by reasoning explicitly about evaluation by writing a program
that evaluates terms.
are now in a position to gain a deeper understanding of evaluation
order by reasoning explicitly about evaluation by writing a program
that evaluates terms.