- Fully higher-order CPS interpreter
- Lift lambdas and RI env, closures
- Marvel at first order structure
- Add control operators
- Whole-program CPS interpreter
- RI wrt env, clos, k
- Registerize
- Trampolinize
- “pc2c magic”, w/very little explanation b/c I don’t think I can adequate explain what that code does
- voila ./fact 5 = 120