Is there a package for evaluating math expression when highlight?
For example, if we have
x = 2 &
y = 4 then (see upper half of image).
If the answer isn’t trivial, a partial / symbolic solution could be shown instead (see lower half of image).
(maybe even allow for quick jumps to defined partials, eg. show other places in the code where
y, in this example, is used / defined / occurs / etc…)
(this should work no matter what grammar is being used, maybe allow for white/black-listing grammars)