Skip to content

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.

Notifications You must be signed in to change notification settings

spartypkp/lambda-calculus-visualizer

Error
Looks 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

No packages published