Normalize the following untyped applied lambda calculusexpressions as much as
possible using the call-by-value rules, showing all steps. You caneither do
this by hand or extend LambdaSmallStep.hs with a function to do itfor you; if
you do it with a function, make sure to include the function inyour
submission. (Hint: the final result of each normalization can bechecked with
the provided “readEval” function in LambdaSmallStep.hs.)
a) (λx. x * x) 1
b) (λx. x + 4) ((λy. y + 5) 3)
c) (λf g x. g (f x)) (λa. a * a) (λb. b + 1 + 2) 3
d) (λf x. f (f (f x))) (λb. if b
OR
PayPal Gateway not configured
OR
PayPal Gateway not configured