A step-by-step guide to implementing untyped closure conversion in a functional programming language.
Currently not translated into plain English.