X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week1.mdwn;h=70a153777244f14badb5653436089dd02905c3e5;hp=c55625f1102b77fbcc2343cce36282d6f67f257d;hb=7c7f1b223ffb0877eba434dc07cb7c19a36ecbb5;hpb=f9b1daf930a241ba8f057d722005af2a8cea5030

diff --git a/week1.mdwn b/week1.mdwn
index c55625f1..70a15377 100644
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -99,6 +99,30 @@ For the most part, these uses are only loosely connected to each other. We'll te
 Map
 ===
 
+<table>
+<tr>
+<td width=30%>Scheme (functional part)</td>
+<td width=30%>OCaml (functional part)</td>
+<td width=30%>C, Java, Pasval<br>
+Scheme (imperative part)<br>
+OCaml (imperative part)</td>
+<tr>
+<td width=30%>lambda calculus<br>
+combinatorial logic</td>
+<tr>
+<td colspan=3 align=center>------------------------ Turing complete ---------------------</td>
+<tr>
+<td width=30%>&nbsp;
+<td width=30%>more advanced type systems, such as polymorphic types
+<td width=30%>&nbsp;
+<tr>
+<td width=30%>&nbsp;
+<td width=30%>simply-typed lambda calculus (what linguists mostly use)
+<td width=30%>&nbsp;
+</table>
+
+
+
 
 Rosetta Stone
 =============
@@ -323,7 +347,11 @@ Booleans and pairs
 Our definition of these is reviewed in [[Assignment1]].
 
 
-It's possible to do the assignment without using a Scheme interpreter, however you should take this opportunity to [get the software on your computer](How to get the programming languages running on your computer), and [get started learning about Scheme](learning_scheme).
+It's possible to do the assignment without using a Scheme interpreter, however
+you should take this opportunity to [get Scheme installed on your
+computer](/how_to_get_the_programming_languages_running_on_your_computer), and
+[get started learning Scheme](/learning_scheme). It will help you test out
+proposed answers to the assignment.