The attached problem set is causing problems in version 2.6.0 of the student edition. One student writes:
the Lambda Calculator seems to only be accepting translations that include several additional sets of brackets. As far as I can tell, they're brackets that don't change the meaning of the expressions, but the Calculator refuses to accept an answer without them.
Another student writes:
I have been trying to get the fully derived expressions of exercises 3-5 and have been stuck on how to move past the closure.
The attached problem set is causing problems in version 2.6.0 of the student edition. One student writes:
Another student writes:
ps10-intsem.txt