You are viewing a single comment's thread. Return to all comments →
apply => + => + => + => 6 / \ / \ / \ / \ λ apply apply 1 + 1 5 1 / \ / \ / \ / \ x + λ 3 λ 3 3 2 / \ / \ / \ x 1 y + y + / \ / \ y 2 y 2
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Evaluating Expressions #2
You are viewing a single comment's thread. Return to all comments →