Open brprice opened 1 year ago
In #718 we changed the approach of EvalFull to compute free variable sets a lot. This could easily be cached, potentially saving us many traversals.
(However, if we really want to improve performance of evaluate-to-normal-form, we maybe want to move away from iterating a rewrite system).
See also #750.
dhess
commented
1 year ago dhess
commented
1 year ago
In #718 we changed the approach of EvalFull to compute free variable sets a lot. This could easily be cached, potentially saving us many traversals.
(However, if we really want to improve performance of evaluate-to-normal-form, we maybe want to move away from iterating a rewrite system).