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