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.

Name		Name	Last commit message	Last commit date
Latest commit History 430 Commits
__tests__		__tests__
android		android
img		img
img_src		img_src
tools		tools
.babelrc		.babelrc
.flowconfig		.flowconfig
.gitignore		.gitignore
.nvmrc		.nvmrc
CreateButtons.js		CreateButtons.js
DebugGlobals.js		DebugGlobals.js
DeleteBar.js		DeleteBar.js
ExecuteButton.js		ExecuteButton.js
ExprPaths.js		ExprPaths.js
Expression.js		Expression.js
ExpressionEvaluator.js		ExpressionEvaluator.js
ExpressionNumbers.js		ExpressionNumbers.js
ExpressionState.js		ExpressionState.js
ExpressionStr.js		ExpressionStr.js
FloatingActionButton.js		FloatingActionButton.js
HitTester.js		HitTester.js
LICENSE		LICENSE
Palette.js		Palette.js
PointConversion.js		PointConversion.js
README.md		README.md
SimpleComponent.js		SimpleComponent.js
StatelessComponent.js		StatelessComponent.js
TrackedViews.js		TrackedViews.js
UserExpressionEvaluator.js		UserExpressionEvaluator.js
ViewTracker.js		ViewTracker.js
constants.js		constants.js
flow-workarounds.js		flow-workarounds.js
generateDisplayState.js		generateDisplayState.js
index.android.js		index.android.js
iterable.js		iterable.js
iterable.js.flow		iterable.js.flow
package.json		package.json
reducers.js		reducers.js
store.js		store.js
toolbar.js		toolbar.js
typeDefs.js		typeDefs.js
types-collections.js		types-collections.js
types-lib.js		types-lib.js
types-mixin-templates.js		types-mixin-templates.js
types-mixin-templates.js.flow		types-mixin-templates.js.flow
types-mixins.js		types-mixins.js
types.js		types.js
types.js.flow		types.js.flow
webstorm-types.js		webstorm-types.js

alangpierce/LambdaCalculusPlayground