X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek1.mdwn;h=7f717d9a0cf40f1367340a6b62b64d676ecb83c2;hp=f195b8d9216207fa5c83c29e0cab3013d667df87;hb=c10e4dd6e3e70551ba4e619dff1363c54af53afa;hpb=441659b7ec458cc0b45a1da299f0466dc89f1266

diff --git a/topics/week1.mdwn b/topics/week1.mdwn
index f195b8d9..7f717d9a 100644
--- a/topics/week1.mdwn
+++ b/topics/week1.mdwn
@@ -614,3 +614,28 @@ You have all the materials you need now to do this week's [[assignment|assignmen
 
 There are also some [[advanced notes|week1 advanced notes]] extending this week's material.
 
+### Summary ###
+
+Here is the hierarcy of **values** that we've talked about so far.
+
+*   Multivalues
+*   Singular values, including:
+    *   Atoms, including:
+        *   Numbers: these are among the **literals**
+        *   Symbolic atoms: these are also among the **literals**, and include:
+            *   Booleans (or truth-values)
+        *   Functions: these are not literals, but instead have to be generated by evaluating complex expressions
+    *   Containers, including:
+        *   the **literal containers** `[]` and `{}`
+        *   Non-empty sequences
+        *   Non-empty sets
+        *   Tuples proper and other containers, to be introduced later
+
+We've also talked about a variety of **expressions** in our language, that evaluate down to various values (if their evaluation doesn't "crash" or otherwise go awry). These include:
+
+*   All of the literal atoms and literal containers
+*   Variables
+*   Various complex expressions, built using `&` or λ or `let` or `letrec` or `case`
+
+The special syntaxes `[10, 20, 30]` are just shorthand for the more offical syntax using `&` and `[]`, and likewise for `{10, 20, 30}`. The `if ... then ... else ...` syntax is just shorthand for a `case`-construction using the literal patterns `'true` and `'false`.
+