Lab 9

- Copy the definition of the CFAE language from Assignment 4.

- Develop the function randomLC that produces a CFAE containing only functions, applications, and variable references.

- Refine your function randomLC so that it only produces "closed" CFAEs: that is, those with no free variables. To do this, your function must accept a list of currently-bound variables, so that it can be sure to pick varrefs only from this list.

- Use your function to try to find a function that loops forever. Show me this function when you find it.