Proto Implementation Jonathan Bachrach MIT AI Lab Outline Goals AST Runtime Compilation to C AST transformations C output strategy C runtime Bootstrapping Beyond Based on…