Lambda Calculus Playground
Install Now
Lambda Calculus Playground
Lambda Calculus Playground

Lambda Calculus Playground

Visually build and evaluate lambda calculus expressions.

Developer: Alan Pierce
App Size: Varies With Device
Release Date: Mar 28, 2016
Price: Free
Price
Free
Size
Varies With Device

Screenshots for App

Mobile
Explore the untyped lambda calculus, one of most fundamental systems in computing. Starting with a remarkably simple set of rules, all computation is possible. But just because the rules are simple doesn't mean the lambda calculus is easy: you'll need some cleverness and creativity to get to a point where you can compute anything.

This app allows you to visually create lambda calculus expressions (lambdas, variables, and function calls) and evaluate them. Try out booleans, church numerals, or the Y combinator.

Works great on tablets! On phones, works best in landscape mode.

Note that the app does not (yet) teach the lambda calculus, so it's best to have a separate resource for that (e.g. online or a class).
Show More
Show Less
Lambda Calculus Playground 1.1.0 Update
2016-04-13 Version History
Organize your code better by creating definitions! For example, you can define TRUE as a particular expression, then use TRUE wherever you want as a shorthand, and it will also automatically be recognized in evaluation results. By building definitions on top of definitions, you can create much more interesting expressions that would be unmanageable in their fully-expanded form.

This update also includes a number of other bug fixes, performance improvements, and improved stability.

~Alan Pierce
More Information about: Lambda Calculus Playground
Price: Free
Version: 1.1.0
Downloads: 2247
Compatibility: Android 4.0.3
Bundle Id: com.alangpierce.lambdacalculusplayground
Size: Varies With Device
Last Update: 2016-04-13
Content Rating: Everyone
Release Date: Mar 28, 2016
Content Rating: Everyone
Developer: Alan Pierce


Whatsapp
Vkontakte
Telegram
Reddit
Pinterest
Linkedin
Hide