The Lambda Calculator
Joint work by Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford.
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
Copying
This project is distributable under the terms of the GNU GPL (the latest version).
Installation
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.