§ Notes on Copy and Patch Compilation

• Brandt Bucher: A JIT Compiler for CPython
• quenya.lean