misc tweaks

[lambda.git] / _overview.mdwn

diff --git a/_overview.mdwn b/_overview.mdwn
index 41c7f44..b05de22 100644 (file)
--- 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,
 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,