Add 'using the programming languages'
[lambda.git] / index.mdwn
index 457d9c7..eb61fb7 100644 (file)
@@ -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
@@ -175,6 +178,13 @@ superficial syntactic differences between these languages.
 
 ##[[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.