koko-m/GoI-Visualiser
A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
JavaScript
A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
JavaScript