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.