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.
This repo is intended to house all of the Issues related to the Lambda Calculator, so that we may keep the source code of the project private. If you have an issue to submit, please submit it using this repo.