/LambdaCalculusPlayground

An Android app that provides a visual interface for creating and evaluating lambda calculus expressions

Primary LanguageJavaScriptMIT LicenseMIT

Lambda Calculus Playground

An Android app that lets you build, combine, modify, and evaluate expressions in the untyped lambda calculus, all using a touch interface.

The app is available on the Play Store. There is also a demo video.