well-typed / visualize-cbn

well-typed/visualize-cbn Issues

The option `--hide-prelude` expects an argument.
Closed 2 months ago3
Can it support complex expression like the following?
Closed 9 months ago1
Show the rule/equation it will use for the next step
Updated 9 months ago1
Indirections
Updated 6 years ago
Improving Graph
Updated 6 years ago
Add graph visualization
Updated 7 years ago2
Confusing error message: "deref: invalid pointer"
Closed 7 years ago3