https://github.com/alangpierce/lambdacalculusplayground

An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
https://github.com/alangpierce/lambdacalculusplayground

lambda-calculus

Last synced: 3 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/alangpierce/lambdacalculusplayground
• Owner: alangpierce
• License: mit
• Created: 2015-02-16T03:09:04.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2016-06-19T01:58:44.000Z (over 8 years ago)
• Last Synced: 2024-04-19T06:47:05.753Z (9 months ago)
• Topics: lambda-calculus
• Language: JavaScript
• Size: 1.23 MB
• Stars: 17
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# 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](https://play.google.com/store/apps/details?id=com.alangpierce.lambdacalculusplayground).

There is also a [demo video](https://www.youtube.com/watch?v=0OzpqDDniDs).