That's how PAIP does it, their interpreter uses continuation passing style: 22.5 An Interpreter Supporting Call/cc https://github.com/norvig/paip-lisp/blob/ma

That's how PAIP does it, their interpreter uses continuation passing style: 22.5 An Interpreter Supporting Call/cc https://github.com/norvig/paip-lisp/blob/main/docs/chapter22.md#225-an-interpreter-supporting-callcc https://github.com/norvig/paip-lisp/blob/main/docs/chapter22... 23.2 Introducing Call/cc [see the next chapter, 23.3 The Abstract Machine, for the implementation in bytecode] https://github.com/norvig/paip-lisp/blob/main/docs/chapter23.md#232-introducing-callcc https://github.com/norvig/paip-lisp/blob/main/docs/chapter23...