From ee7149fbdddfbf06169be83509a40921524183a8 Mon Sep 17 00:00:00 2001
From: Jim <jim.pryor@nyu.edu>
Date: Sun, 1 Feb 2015 17:39:17 -0500
Subject: [PATCH] misc tweaks

---
 _overview.mdwn | 3 +++
 content.mdwn   | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/_overview.mdwn b/_overview.mdwn
index 41c7f44b..b05de227 100644
--- a/_overview.mdwn
+++ b/_overview.mdwn
@@ -1,5 +1,8 @@
+*This page will summarize the major "topics" (bits of conceptual technology) the course will cover, as well as some connecting "themes" that show up in different ways in several of the topics.*
 
 <!--
+See also the page on [[ applications]].
+
 Once we get up and running, the central focii of the course will be
 **continuations**, **types**, and **monads**. One of the on-going themes will
 concern evaluation order and issues about how computations (inferences,
diff --git a/content.mdwn b/content.mdwn
index d067df76..c73d1b3c 100644
--- a/content.mdwn
+++ b/content.mdwn
@@ -5,7 +5,7 @@ week in which they were introduced.
 
 ## Topics by content ##
 
-* [[Basics of functional programming|topics/week1]]
+* [[Introduction to functional programming|topics/week1]]
 
 * [[Order: static versus dynamic|topics/week1 order]]
 
-- 
2.11.0