Lambda Calculus Playground Apk

Lambda Calculus Playground Apk

Latest version 1.1.0
14 Apr 2016

Older Versions

Apk Infos

Version1.1.0
Rating4.2/5, based on 21 votes
Size‎1.3 MB
Requires AndroidAndroid 4.0+ (Ice Cream Sandwich)
Author's NotesVisually build and evaluate lambda calculus expressions.

About Lambda Calculus Playground APK

Lambda Calculus Playground APK Download for Android
Lambda Calculus Playground APK Download for Android

Description

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

Latest updates

What's new in version 1.1.0

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.

How to install Lambda Calculus Playground APK on Android phone or tablet?

Download Lambda Calculus Playground APK file from ApkClean, then follow these steps:

Update Phone Settings

  • Go to your phone Settings page
  • Tap Security or Applications (varies with device)
  • Check the Unknown Sources box
  • Confirm with OK

Go to Downloads

  • Open Downloads on your device by going to My Files or Files
  • Tap the APK file you downloaded (com.alangpierce.lambdacalculusplayground-v1.1.0-ApkClean.apk)
  • Tap Install when prompted, the APK file you downloaded will be installed on your device.

Older Versions

1.1.0 (4)1.3 MB

Questions & Answers

Q: What is an APK File?

A: Just like Windows (PC) systems use an .exe file for installing software, Android does the same. An APK file is the file format used for installing software on the Android operating system.

Q: If I install an APK from this website, will I be able to update the app from the Play Store?

A: Yes, absolutely. The Play Store installs APKs it downloads from Google's servers, and sideloading from a site like ApkClean.net goes through a very similar process, except you're the one performing the downloading and initiating the installation (sideloading).
As soon as the Play Store finds a version of the app newer than the one you've sideloaded, it will commence an update.

Q: Why ApkClean.net can guarantee APK 100% safe?

A: Whenever someone wants to download an APK file from ApkClean.net, we'll check the corresponding APK file on Google Play and allow user download it directly (of course, we'll cache it on our server). If the APK file does not exist on Google Play, we'll search it in our cache.

Q: What are Android App permissions?

A: Apps require access to certain systems within your device. When you install an application, you are notified of all of the permissions required to run that application.

Don't hesitate to contact us if you have any questions or concerns.

(*) is required

User's Reivew

5 ★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 ★Fantastic app if you only want to play around with some simple lambda expressions.
1 ★Even basic operations will often not work.
4 ★Kinda inconvenient. I recommend. read and writing definitions to a stored text file with a simple notation . For example TRUE=(\x.\y.x)
4 ★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 ★Great app as far as it goes. Saving of definitions has been mentioned. Itwould also be great if we can have simple maths and comparison functions.This would mean we can construct looping etc.
5 ★The best program for playing around in lambda calculus.