I looked at "Lift" and while I can see that our definition is more general than "lambda lifting" I kinda prefer that the idea be generalized to all values not just functions. That I think make it easier to teach the idea of computation contexts in the way that Scott W does with the elevated worlds metaphor
jethrolarson
commented
1 year ago
Addressing some of the feed back in #220
I looked at "Lift" and while I can see that our definition is more general than "lambda lifting" I kinda prefer that the idea be generalized to all values not just functions. That I think make it easier to teach the idea of computation contexts in the way that Scott W does with the elevated worlds metaphor