-
Notifications
You must be signed in to change notification settings - Fork 0
A Next.js web application that transforms mathematical expressions into their lambda calculus representations and visualizes them using interactive Tromp diagrams, allowing users to step through reduction animations and see abstract computation in action.
spartypkp/lambda-calculus-visualizer
ErrorLooks like something went wrong!
About
A Next.js web application that transforms mathematical expressions into their lambda calculus representations and visualizes them using interactive Tromp diagrams, allowing users to step through reduction animations and see abstract computation in action.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published