I think Shriram and Preston have/had a plan similar to this. The top level shows a function call tree, and users can focus on a node which will show the usual stepper in that function.
On Fri, Feb 22, 2019, 11:18 AM 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > Has anyone explored the idea of a “big-step stepper”? It wouldn’t be a > “stepper” at all, of course, just a big tree, but you could imagine a > learning tool that allows you to explore the evaluation of a term by > unfolding parts of its big-step tree. Generating the raw data for this > tree would be a substantial simplification of the existing stepper. Has > this been done already? > > John > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.