Joint work by Lucas Champollion, Josh Tauberer, Maribel Romero, Dylan Bumford, Alex Warstadt, Anna Alsop, and Raef Khan.
The Lambda Calculator is an interactive graphical pedagogical tool that helps students of formal semantics practice the typed lambda calculus and derivations of meaning according to Heim & Kratzer (1998)-style semantics.
Up-to-date information about this project is on the project website.
This project is distributable under the terms of the GNU GPL (the latest version).
You can download editions of the tool for Windows, OS X, and linux from the releases tab of this repository. Further information and instructions about installation and usage are available at the wiki.