§
Notes on Copy and Patch Compilation
Brandt Bucher: A JIT Compiler for CPython
quenya.lean