X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=1aefebfd887176bb7908ea922d3050ed405606f9;hp=d28e4f98151812e65dd4f8e55ce19c369a645910;hb=00ca9d64a3e95f9163545be1e0ae7845298a10c2;hpb=f5e709ab995a33435e3aa650f96ecedbdbbb2fad

diff --git a/index.mdwn b/index.mdwn
index d28e4f98..1aefebfd 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -20,7 +20,20 @@ All students are invited to help us schedule, and then participate in, a regular
 [[Assignment1]]
 
 
-## Overview ##
+
+##[[Schedule of Topics]]##
+
+[[Using the programming languages]]
+
+##[[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.
+
+
+
+## Course Overview ##
 
 The goal of this seminar is to introduce concepts and techniques from
 theoretical computer science and show how they can provide insight
@@ -149,10 +162,9 @@ other.
 
 [[How to get the programming languages running on your computer]]
 
-[[Using the programming languages]]
-
 [[Family tree of functional programming languages]]
 
+
 ## Recommended Books ##
 
 It's not necessary to purchase these for the class. But they are good ways to get a more thorough and solid understanding of some of the more basic conceptual tools we'll be using.
@@ -188,13 +200,6 @@ this time in ML. It uses another dialect of ML (called SML), instead of OCaml, b
 superficial syntactic differences between these languages. [Here's a translation
 manual between them](http://www.mpi-sws.org/~rossberg/sml-vs-ocaml.html).
 
-##[[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.
 
 
 ----