A visual representation of the lambda calculus and animation of beta reduction.
Primary LanguageTypeScriptMIT LicenseMIT