Comment by bjourne Comment by bjourne 3 days ago 2 replies Copy Link View on Hacker News Does it handle alpha-renaming? Most of the golfed interpreters I've seen over the years does not and hence does not handle the full untyped lambda calculus.
Copy Link tromp 3 days ago Next Collapse Comment - Binary Lambda Calculus uses de-Bruijn indices [1], thereby avoiding the need for alpha renaming.[1] https://en.wikipedia.org/wiki/De_Bruijn_index Reply View | 0 replies
Binary Lambda Calculus uses de-Bruijn indices [1], thereby avoiding the need for alpha renaming.
[1] https://en.wikipedia.org/wiki/De_Bruijn_index