From ca06027ff5cd69717a72689176e1972efa7325b6 Mon Sep 17 00:00:00 2001 From: barker Date: Thu, 16 Sep 2010 14:23:25 -0400 Subject: [PATCH] --- week1.mdwn | 1 + 1 file changed, 1 insertion(+) diff --git a/week1.mdwn b/week1.mdwn index 3e5c40d5..84dc62f8 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -14,6 +14,7 @@ See also: * [Chris Barker's Lambda Tutorial](http://homepages.nyu.edu/~cb125/Lambda) * [Lambda Animator](http://thyer.name/lambda-animator/) +* [Penn lambda calculator](http://www.ling.upenn.edu/lambda/) Pedagogical software developed by Lucas Champollion, Josh Tauberer and Maribel Romero. Linguistically oriented. * MORE The lambda calculus we'll be focusing on for the first part of the course has no types. (Some prefer to say it instead has a single type---but if you say that, you have to say that functions from this type to this type also belong to this type. Which is weird.) -- 2.11.0