This is a simulation tool of the dynamic GoI abstract machine implementing call-by-name, call-by-need, left-to-right call-by-value and right-to-left call-by-value evaluations of the untyped lambda-calculus.
Implemented by Steven Cheung and Koko Muroya, using graph-viz-d3-js for generating diagrams and lo-js for parsing terms.
[read documents]