Comment by bjourne Comment by bjourne 10 months 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 10 months 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