Closed EduardoRFS closed 1 year ago
Prepare for a context with substitutions.
I'm currently working on moving substitutions to the context, as described by #165. And due to that in the future more operations will require a context, like expand_head and printing, so this PR essentially reverses #164 and make a smaller context.
Goals
Prepare for a context with substitutions.
Context
I'm currently working on moving substitutions to the context, as described by #165. And due to that in the future more operations will require a context, like expand_head and printing, so this PR essentially reverses #164 and make a smaller context.