Amélia Liao 🍊😈 @Amélia Liao 🍊😈 1763207285 if i were implementing an elaborator it would be completely stateless outside of metavariables which are ofc local to a binding-group 1
