X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=eb61fb700f708862c5cfbd1df5eee2c0c341ce4f;hp=457d9c7dca5a793e232c6d90dd6829e5dcc6b477;hb=c805d825fc74745eabcdaade309fb50ee9829dc9;hpb=ab0ec00e0e06da2fdbed6542e34b1189021e0278 diff --git a/index.mdwn b/index.mdwn index 457d9c7d..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 @@ -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.