You are viewing a single comment's thread. Return to all comments →
Problem states to reduce to no more than 1 term. CAN'T REDUCE (to no more than 1 term) is a true statement.
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Reductions #3
You are viewing a single comment's thread. Return to all comments →
Problem states to reduce to no more than 1 term. CAN'T REDUCE (to no more than 1 term) is a true statement.