I just ran into this while going through the Erlang compiler source.
I\'m not really getting it. (go figure ;)), considering that I just realized that there is suc
lambda lifting basically eliminates variables and puts them into pure functions, simplifying the execution.