X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=eb61fb700f708862c5cfbd1df5eee2c0c341ce4f;hp=d531c197ba53ef7893b5d710eae4eeb65da94eea;hb=c805d825fc74745eabcdaade309fb50ee9829dc9;hpb=e93866bd6d541c64ca54e5423e35a2e31a1324ae

diff --git a/index.mdwn b/index.mdwn
index d531c197..eb61fb70 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -135,8 +135,11 @@ familiar with one of them, it's not difficult to move between it and the
 other.
 
 [[How to get the programming languages running on your computer]]
+
+[[Using the programming languages]]
+
 	
-## Recommended Readings ##
+## Recommended Books ##
 
 *	*An Introduction to Lambda Calculi for Computer Scientists*, by Chris
 Hankin, currently $17 on
@@ -170,11 +173,18 @@ superficial syntactic differences between these languages.
 
 # Other resources #
 
-* [Barker's Lambda Tutorial](http://tinyurl.com/cbarker/lambda.html): tutorial with embedded Javascript code that enables a user to type a lambda form into a web browser page and click to execute (reduce) it.
+* [Barker's Lambda Tutorial](http://homepages.nyu.edu/~cb125/Lambda): tutorial with embedded Javascript code that enables a user to type a lambda form into a web browser page and click to execute (reduce) it.
 * [Penn Lambda Calculator](http://www.ling.upenn.edu/lambda/): requires installing Java, but provides a number of tools for evaluating lambda expressions and other linguistic forms.
 
 ##[[Schedule of Topics]]##
 
+##[[Lecture Notes]]##
+
+##[[Offsite Reading]]##
+
+There's lots of links here already to tutorials and encyclopedia entries about many of the notions we'll be dealing with.
+
+
 ----
 
 All wikis are supposed to have a [[SandBox]], so this one does too.