Looks super cool! For those more experienced in Programming Language Theory, how does code generation slot into PL theory? Is there some kind of common formali

Looks super cool! For those more experienced in Programming Language Theory, how does code generation slot into PL theory? Is there some kind of common formalism for it?