Dylan Bumford edited this page Aug 12, 2014 · 13 revisions
Clone this wiki locally

Welcome to the Lambda Calculator, a pedagogical tool for students and instructors working on the lambda calculus, aimed especially at students of natural language semantics. This wiki is the main source of documentation for the project. For a quick introduction to the features provided by the calculator, check out the Lambda Calculator website.

Quick Navigation

| About the Calculator | Setup Guide | Technical Documentation | Sample Exercise Files | | ------------------------------ | ---------------------------- | ----------------------------------------- | ---------------------------------------- | | Introducing the Lambda Calculator: why we built it and what it does | Instructions for installation and getting started | Notes on notation, entering symbols, creating exercise files | A repository of community-supplied exercise files |

Questions, Issues?

Feel free to email us at champoll@gmail.com with questions, suggestions, bugs, etc., or to report an issue on our Issues page.