% For the computation (little step) semantics of the lambda calculus, do

	#load reductions.
	#query reductions.

% and then type in, for example,

  (rtc reducesto) (ap (lambda "x" (ap (var "f") (var "y"))) (var "z")) Answer.

% and type a

	y

% to see each step of the reduction sequence.


% If you want to force normal-order evaluation, do

	#load computation_call_by_name.
	#query computation_call_by_name.

% first and then proceed as above.

% Hint: use concrete strings for variables, (var "x"), not logical variables.