Closed olynch closed 1 year ago
Now that we have theories at macroexpand time with #67, we should update the @context and @term macros to run at macroexpand time, rather than at runtime.
@context
@term
It's actually a feature that they run at runtime, because they might take in dynamic data.
Now that we have theories at macroexpand time with #67, we should update the
@context
and@term
macros to run at macroexpand time, rather than at runtime.