/GoI-Visualiser

A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.

Primary LanguageJavaScript

Stargazers