(Solved) : Normalize Following Untyped Applied Lambda Calculus Expressions Much Possible Using Call V Q27477339 . . . .

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