Giters

radekmie / lambda

Beta reduction graph visualization

Home Page:https://radekmie.dev/lambda/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lambda-calculusgraphgraph-visualizationreductionreduction-strategies

This repository is not active

About

Beta reduction graph visualization

https://radekmie.dev/lambda/

lambda-calculusgraphgraph-visualizationreductionreduction-strategies

Languages

Language:JavaScript 83.9%Language:HTML 16.1%