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
this time in ML. The dialect of ML used is SML, not OCaml, but there are only
superficial syntactic differences between these languages.
-# Other resources #
+##[[Schedule of Topics]]##
+
+##[[Lecture Notes]]##
-* [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.
+##[[Offsite Reading]]##
+
+There's lots of links here already to tutorials and encyclopedia entries about many of the notions we'll be dealing with.
-##[[Schedule of Topics]]##
----