well-typed / visualize-cbn

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add graph visualization

FranklinChen opened this issue · comments

An option to create a graph visualization would be tremendously useful.

Absolutely, agree completely! The code is already structured to make multiple visualization backends possible (currently ANSI, string, and HTML/JavaScript). PRs welcome :)

So #11 does add graph visualization, but it generates an evaluation graph (which is linear, since the evaluation is deterministic). Leaving this issue open because it would still be very nice to have a visualization where the term itself is shown as a graph (rather than using named heap pointers).