Comment by tromp Comment by tromp 3 days ago 0 replies Copy Link View on Hacker News Binary Lambda Calculus uses de-Bruijn indices [1], thereby avoiding the need for alpha renaming.[1] https://en.wikipedia.org/wiki/De_Bruijn_index