X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week1.mdwn;h=84dc62f8fa9789716a7ea97d7f8ff68abb8413f9;hp=3e5c40d508ead0066c3172469ea9467cc63eda86;hb=ca06027ff5cd69717a72689176e1972efa7325b6;hpb=8f11776c09d4eeb8bc7209bfba826ba123c660b1;ds=sidebyside

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.)