An Android app that provides a visual interface for creating and evaluating lambda calculus expressions - View it on GitHub