Guy Steele's master's thesis explains the ideas, and includes this code as an appendix with extra comments on the facing pages (from page 117): https://dspace.m

Guy Steele's master's thesis explains the ideas, and includes this code as an appendix with extra comments on the facing pages (from page 117): https://dspace.mit.edu/bitstream/handle/1721.1/6913/AITR-474.pdf https://dspace.mit.edu/bitstream/handle/1721.1/6913/AITR-474... I also added extra comments (my own notes as I figured things out) in a copy up on my old website (with permission) -- I didn't know about the above appendix at the time. I'm not sure if it'd add anything to the above, but I could dig it up. Related work at https://en.wikisource.org/wiki/Lambda_Papers https://en.wikisource.org/wiki/Lambda_Papers