reformat front page

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 0aa7cf4..c3a77e8 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -39,12 +39,13 @@ week's homework, for instance, before the session.
 
 *   Here is information about [[How to get the programming languages running on your computer|installing]].
 
-* Here are lecture notes for week 1: [[order|topics/week1 order]];
-[[the introduction to functional programming|topics/week1]], along
-with [[the homework|exercises/assignment1]] and some [[advanced
-notes|topics/week1 advanced notes]].
+(Week 1) Thursday 29 Jan 2015
 
-    > Topics: Basics of Functional Programming
+> Topics:
+[[Order in programming languages and natural language|topics/week1 order]]
+[[Introduction to functional programming|topics/week1]]
+[[Homework|exercises/assignment1]]
+[[Advanced notes|topics/week1 advanced notes]]
 
 *   Henceforth, unless we say otherwise, every homework will be "due" by
 Wednesday morning after the Thursday seminar in which we refer to it.
@@ -122,7 +123,7 @@ course is to enable you to make these tools your own; to have enough
 understanding of them to recognize them in use, use them yourself at least
 in simple ways, and to be able to read more about them when appropriate.
 
-[[More about the topics and larger themes of the course| topics and themes]]
+[[More about the topics and larger themes of the course| overview]]
 
 
 ## Who Can Participate? ##
@@ -222,7 +223,7 @@ other.
 
 
 <a name=installing></a>
-[[How to get the programming languages running on your computer]]
+[[How to get the programming languages running on your computer|installing]]
 
 
 ## Recommended Books ##