Home  /  Education Apps  / Lambda Calculus Playground
Lambda Calculus Playground Application icon

Lambda Calculus Playground 1.1.0

1.3 MB / 10+ Downloads / Rating 4.2 - 21 reviews


See previous versions

Lambda Calculus Playground, developed and published by Alan Pierce, has released its latest version, 1.1.0, on 2016-04-14. This app falls under the Education category on the Google Play Store and has achieved over 1000 installs. It currently holds an overall rating of 4.2, based on 21 reviews.

Lambda Calculus Playground APK available on this page is compatible with all Android devices that meet the required specifications (Android 4.0+). It can also be installed on PC and Mac using an Android emulator such as Bluestacks, LDPlayer, and others.

Read More

App Screenshot

App Screenshot

App Details

Package name: com.alangpierce.lambdacalculusplayground

Updated: 9 years ago

Developer Name: Alan Pierce

Category: Education

New features: Show more

Installation Instructions

This article outlines two straightforward methods for installing Lambda Calculus Playground on PC Windows and Mac.

Using BlueStacks

  1. Download the APK/XAPK file from this page.
  2. Install BlueStacks by visiting http://bluestacks.com.
  3. Open the APK/XAPK file by double-clicking it. This action will launch BlueStacks and begin the application's installation. If the APK file does not automatically open with BlueStacks, right-click on it and select 'Open with...', then navigate to BlueStacks. Alternatively, you can drag-and-drop the APK file onto the BlueStacks home screen.
  4. Wait a few seconds for the installation to complete. Once done, the installed app will appear on the BlueStacks home screen. Click its icon to start using the application.

Using LDPlayer

  1. Download and install LDPlayer from https://www.ldplayer.net.
  2. Drag the APK/XAPK file directly into LDPlayer.

If you have any questions, please don't hesitate to contact us.

App Rating

4.2
Total 21 reviews

Reviews

5 ★, on 2018-10-29
Great app! Exactly what it claims to be. It would be nice if there were a "single reduction step" button, rather than doing them all at once, especially when dealing with the Y combinator.

5 ★, on 2020-04-14
Fantastic app if you only want to play around with some simple lambda expressions.

1 ★, on 2019-11-14
Even basic operations will often not work.

4 ★, on 2016-09-20
Kinda inconvenient. I recommend. read and writing definitions to a stored text file with a simple notation . For example TRUE=(\x.\y.x)

4 ★, on 2017-12-04
Please please add saving!!!! I will personally pay you 5 US dollars if you add saving. I love the app, but I don't want to have to redo all my work each time I exit.

4 ★, on 2018-07-10
Great app as far as it goes. Saving of definitions has been mentioned. It would also be great if we can have simple maths and comparison functions. This would mean we can construct looping etc.

Previous Versions

Lambda Calculus Playground 1.1.0
2016-04-14 / 1.3 MB / Android 4.0+

About this app

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).

New features

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.