Write a Scheme function, <sentence>, which given an argument, n, randomly generates a well formed lambda calculus sentence with a derivation of depth, n, or less. Click here to see example output.
(<lambda> <sentence>)
Write a Scheme function, beta-redex?, which will recognize beta redexes. For example: