X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics_and_themes.mdwn;h=6b4c55fb02f3f7bc94e308c167babd1b09617f20;hp=ab4a53381e7b35c9670ed473accf273cfac64b71;hb=7ac7f14e80fd45bbdf0db62c05760a3bf8e80d48;hpb=441659b7ec458cc0b45a1da299f0466dc89f1266

diff --git a/topics_and_themes.mdwn b/topics_and_themes.mdwn
index ab4a5338..6b4c55fb 100644
--- a/topics_and_themes.mdwn
+++ b/topics_and_themes.mdwn
@@ -1,4 +1,27 @@
-*Coming, please wait...*
+# Topics #
+
+These topics are organized in two ways: by their content, and by the
+week in which they were introduced.
+
+## Topics by content ##
+
+* [[Basics of functional programming|topics/week1]]
+
+* [[Order: static versus dynamic|topics/week1 order]]
+
+## Topics by week ##
+
+Week 1: 
+
+* [[Order in programming languages and natural language|topics/order]]
+This discussion considers conjunction in a language that recognized presupposition failure.
+* [[Introduction to functional programming|topics/week1]]
+Basics of functional programming: `let`, `case`, pattern matching, and
+recursion.  Definitions of factorial.
+* [[Homework for week 1|exercises/assignment1]]
+* [[Advanced notes|week1 advanced notes]] 
+
+*More coming, please wait...*
 
 <!--
 Once we get up and running, the central focii of the course will be