Get the latest tech news
How to draw lambda diagrams (2020)
If you don’t want spoilers for my puzzle a few days ago, don’t read ahead! I think lambda diagrams are extremely cool, and haven’t seen any detailed description on how they work o…
I will assume that you understand how lambda calculus works for this post, and if you aren’t familiar then you can do no better than this video for a basic introduction. Two things have happened here: First I’ve moved the original vertical line for y over to the left to make space. This works in much the same way as the earlier reductions we saw, the primary difference being that references to variables outside the scope of the function being applied must be maintained.
Or read this on Hacker News